Document is current
Any future updates will be listed below
-
Authors
Altafini, Diego https://orcid.org/0000-0002-6559-2372
Pezzica, Camilla https://orcid.org/0000-0002-0512-7591
de Souza, Clarice Bleil https://orcid.org/0000-0001-7823-1202
Dalcin, Ana Paula https://orcid.org/0000-0001-9871-7373
Marques, Guilherme https://orcid.org/0000-0003-0543-6279
- License Information
-
More Information
Chapter History
First Online: 19 October 2025
Conference Information
Conference Acronym: FMA
Conference Name: International Symposium on Formal Methods in Architecture
Conference City: Porto
Conference Country: Portugal
Conference Year: 2024
Conference Start Date: 3 December 2024
Conference End Date: 6 December 2024
Conference Number: 7
Conference ID: fma12024
