Formal Methods in Architecture - Proceedings of the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020

This edited book gathers research studies presented at the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020.