Formal Methods in Architecture: Proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), a Coruña 2022
Mora, Plácido Lizancos ; Viana, David Leite ; Morais, Franklim ; Vieira Vaz, Jorge
Singapore: Springer Singapore Pte. Limited 2023
Sem texto completo