Formal Methods in ArchitectureProceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruña 2022

1. Placido Lizancos Mora ed. lit.
2. David Leite Viana ed. lit.
3. Franklim Morais ed. lit.
4. Jorge Vieira Vaz