Formal methods in architecture: proceedings of the 5th international symposium on formal methods in architecture (5fma), lisbon 2020
Éditeur :
Springer Nature Switzerland AG
ISBN :
9783030575113
Date de publication :
6 janv. 2022
Dimensions :
27,9 x 21,0 cm
Langue :
Anglais
Pays d'origine :
Suisse
This edited book gathers research studies presented at the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020.