skip to main content

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

Citações Citado por

Buscando em bases de dados remotas. Favor aguardar.