APA (7th ed.) Citation
Marques, B., Ruivo, C., Viana, D. L., & Vaz, J. V. (2025). Formal Methods in Architecture. Springer Nature.
Chicago Style (17th ed.) Citation
Marques, Bruno, Catarina Ruivo, David Leite Viana, and Jorge Vieira Vaz. Formal Methods in Architecture. Springer Nature, 2025.
MLA (9th ed.) Citation
Marques, Bruno, et al. Formal Methods in Architecture. Springer Nature, 2025.
Warning: These citations may not always be 100% accurate.