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