Maurice H. ter Beek - Böcker

Formal Methods – The Next 30 Years

Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings

From Software Engineering to Formal Methods and Tools, and Back

Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

Formal Methods for Industrial Critical Systems

25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings

Integrated Formal Methods

17th International Conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022, Proceedings

Coordination Models and Languages

24th IFIP WG 6.1 International Conference, COORDINATION 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

6th International Conference, RSSRail 2025, Pisa, Italy, November 26–28, 2025, Proceedings

Formal Methods: Foundations and Applications

28th Brazilian Symposium, SBMF 2025, Recife, Brazil, December 3–5, 2025, Proceedings

Journeys Between Formal Methods and the Railway Industry

Essays Dedicated to Alessandro Fantechi on the Occasion of His 70th Birthday

Critical Systems: Formal Methods and Automated Verification

Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings

Architecting Dependable Systems VI