Formal Methods in Architecture
Formal Methods in Architecture
Proceedings of the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020
Leite Viana, David; Morais, Franklim; Eloy, Sara; Vieira Vaz, Jorge
Springer Nature Switzerland AG
01/2022
313
Mole
Inglês
9783030575113
15 a 20 dias
858