Formal Methods in ArchitectureProceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruña 2022
- Placido Lizancos Mora ed. lit.
- David Leite Viana ed. lit.
- Franklim Morais ed. lit.
- Jorge Vieira Vaz
Editorial: Springer Nature Singapore
ISBN: 978-981-99-2216-1
Año de publicación: 2023
Tipo: Libro