Hariati, M. (2020) “Formal Verification Issues For Component-Based Development”, Informatica, 44(4). doi: 10.31449/inf.v44i4.3152.