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; Vieira Vaz, Jorge; Morais, Franklim; Eloy, Sara
Springer Nature Switzerland AG
01/2021
313
Dura
Inglês
9783030575083
15 a 20 dias
1103