Franklim Morais Pereira
AuthID: R-002-4ZF
1
TÃTULO: Formal Methods in Architecture. Proceedings of the 6th International Symposium on Formal Methods in Architecture , a Coruña 2022
AUTORES: Sara Eloy; David Leite Viana; Franklim Morais; Jorge Vieira Vaz;
PUBLICAÇÃO: 2024
AUTORES: Sara Eloy; David Leite Viana; Franklim Morais; Jorge Vieira Vaz;
PUBLICAÇÃO: 2024
INDEXADO EM: 
Openlibrary
Openlibrary2
TÃTULO: Formal Methods in Architecture. Proceedings of the 6th International Symposium on Formal Methods in Architecture , a Coruña 2022
AUTORES: Sara Eloy; David Leite Viana; Franklim Morais; Jorge Vieira Vaz;
PUBLICAÇÃO: 2023
AUTORES: Sara Eloy; David Leite Viana; Franklim Morais; Jorge Vieira Vaz;
PUBLICAÇÃO: 2023
INDEXADO EM: Openlibrary
Openlibrary