Maurice H. ter Beek
Maurice H. ter Beek
6 ספרים במאגר
ספרים
Integrated Formal MethodsMaurice H. ter Beek
Integrated Formal Methods
Maurice H. ter Beek · 2022
Formal Methods for Industrial Critical SystemsMaurice H. ter Beek
Formal Methods for Industrial Critical Systems
Maurice H. ter Beek · 2020
Formal Methods – The Next 30 YearsMaurice H. ter Beek
Formal Methods – The Next 30 Years
Maurice H. ter Beek · 2019
From Software Engineering to Formal Methods and Tools, and BackMaurice H. ter Beek
From Software Engineering to Formal Methods and Tools, and Back
Maurice H. ter Beek · 2019
Proceedings of the Eleventh International Workshop on Variability Modelling of Software-Intensive SystemsMaurice H. ter Beek
Proceedings of the Eleventh International Workshop on Variability Modelling of Software-Intensive Systems
Maurice H. ter Beek · 2017
Web Services and Formal MethodsMaurice H. ter Beek
Web Services and Formal Methods
Maurice H. ter Beek · 2013