Formal methods in architecture: proceedings of the 6th international symposium on formal methods in architecture (6fma), a coruña 2022
Éditeur :
Springer Verlag, Singapore
ISBN :
9789819922192
Date de publication :
3 août 2024
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Singapour
This book comprises the select proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruña 2022.