Franklim Morais Pereira
AuthID: R-002-4ZF
1
TITLE: Formal Methods in Architecture. Proceedings of the 6th International Symposium on Formal Methods in Architecture , a Coruña 2022
AUTHORS: Sara Eloy; David Leite Viana; Franklim Morais; Jorge Vieira Vaz;
PUBLISHED: 2024
AUTHORS: Sara Eloy; David Leite Viana; Franklim Morais; Jorge Vieira Vaz;
PUBLISHED: 2024
INDEXED IN: 
Openlibrary
Openlibrary2
TITLE: Formal Methods in Architecture. Proceedings of the 6th International Symposium on Formal Methods in Architecture , a Coruña 2022
AUTHORS: Sara Eloy; David Leite Viana; Franklim Morais; Jorge Vieira Vaz;
PUBLISHED: 2023
AUTHORS: Sara Eloy; David Leite Viana; Franklim Morais; Jorge Vieira Vaz;
PUBLISHED: 2023
INDEXED IN: Openlibrary
Openlibrary