Formal Methods in Architecture: Proceedings of the 5th International Symposium (5FMA) | DealShopping Deutschland