Maurice H. ter Beek
Eine Liste von Autoren mit Biografien, Lebensdaten und späteren Sammlungen aller Bücher.
Bücher des Autors
7
Architecting Dependable Systems VI
Proceedings of the Eleventh International Workshop on Variability Modelling of Software-Intensive Systems
Web Services and Formal Methods
Formal Methods for Industrial Critical Systems
From Software Engineering to Formal Methods and Tools, and Back
Formal Methods – The Next 30 Years
