M
Maurice H. ter Beek
7 works on record
Works

From Software Engineering to Formal Methods and Tools, and Back

Formal Methods – The Next 30 Years

Web Services and Formal Methods
Architecting Dependable Systems VI
Architecting Dependable Systems VI
Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems
Integrated Formal Methods
Integrated Formal Methods
Proceedings of the Eleventh International Workshop on Variability Modelling of Software-Intensive Systems
Proceedings of the Eleventh International Workshop on Variability Modelling of Software-Intensive Systems