Degeler, V., Hadadian, M., Karabulut, E., Lazovik, A., Loo, H. V. H., Tello, A. & Truong,
H., 2024, Leveraging
Applications of Formal Methods, Verification and Validation :
Application Areas. Margaria, T. & Steffen, B. (uitgave).
Springer International Publishing, Cham, Switzerland,
blz. 62-8221 blz.
Tello, A., Truong,
H., Lazovik, A. & Degeler,
V., 6-mei-2024, (Accepted/In press)
Engineering Proceedings.Multidisciplinary Digital
Publishing Institute (MDPI), 6
blz.