Maurice H. ter Beek

• Formal Methods – The Next 30 Years
• From Software Engineering to Formal Methods and Tools, and Back
• Web Services and Formal Methods
• Architecting Dependable Systems VI
• Formal Methods for Industrial Critical Systems
• Integrated Formal Methods
• Proceedings of the Eleventh International Workshop on Variability Modelling of Software-Intensive Systems