Hojjat H., Massink M.
Software Engineering Formal methods
Revised Selected Papers of FSEN 2021
@inbook{oai:it.cnr:prodotti:458738, title = {FSEN 2021 - Fundamentals of Software Engineering}, author = {Hojjat H. and Massink M.}, doi = {10.1007/978-3-030-89247-0}, year = {2021} }