👤

Maurice H. ter Beek

5 books

Books by Maurice H. ter Beek

Formal Methods – The Next 30 Years
Formal Methods – The Next 30 Years
2019
From Software Engineering to Formal Methods and Tools, and Back
From Software Engineering to Formal Methods and Tools, and Back
2019
Proceedings of the Eleventh In
Proceedings of the Eleventh International Workshop on Variability Modelling of Software-Intensive Systems
2017
Architecting Dependable Systems VI
Architecting Dependable Systems VI
2009
Integrated Formal Methods
Integrated Formal Methods
2005