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