This Festschrift, dedicated to Klaus Havelund on the occasion of his 65th birthday, celebrated in 2021 due to the COVID-19 pandemic, contains papers written by

The book promotes the use of formal methods in the creation of new explicit languages for problem solving in architecture and urbanism. Formal methods bring adv

This book comprises the select proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruña 2022. The contents focus on th

This book constitutes the proceedings of the 14th International Symposium on NASA Formal Methods, NFM 2022, held in Pasadena, USA, during May 24-27, 2022. The 3

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