Hariati M. Formal Verification Issues For Component-Based Development. IJCAI. 2020;44(4). doi:10.31449/inf.v44i4.3152