Formal Methods for Industrial Critical SystemsMaurice H. ter Beek, Dejan Ničković · First published 2020Open the Tome
Formal Methods – The Next 30 YearsMaurice H. ter Beek, Annabelle McIver, José N. Oliveira · First published 2019Open the Tome
From Software Engineering to Formal Methods and Tools, and BackMaurice H. ter Beek, Alessandro Fantechi, Laura Semini · First published 2019Open the Tome
Proceedings of the Eleventh International Workshop on Variability Modelling of Software-Intensive SystemsMaurice H. ter Beek · First published 2017Open the Tome
Critical Systems : Formal Methods and Automated VerificationMaurice H. Ter Beek, Stefania Gnesi, Alexander Knapp · First published 2016Open the Tome
Architecting Dependable Systems VIRogério de Lemos, Jean-Charles Fabre, Cristina Gacek, Fabio Gadducci, Maurice H. ter Beek · First published 2009Open the Tome
