"eBook ISBN","Title","Subtitle","Authors/editors","Copyright year","Edition","DOI","Price (EUR)","Additional info"
"978-3-032-02782-5","Formal Methods in Architecture","Proceedings of the 7th International Symposium on Formal Methods in Architecture (7FMA), Porto 2024","Bruno Marques; Catarina Ruivo; David Leite Viana; Jorge Vieira Vaz",2025,"1","https://doi.org/10.1007/978-3-032-02782-5",559,""