Formal MethodsMarsha Chechik, Joost-Pieter Katoen, Martin Leucker · First published 2023Open the Tome
Formal Methods in Outer SpaceEzio Bartocci, Yliès Falcone, Martin Leucker · First published 2021Open the Tome
Theoretical Aspects of Computing - ICTAC 2015Martin Leucker, Camilo Rueda, Frank D. Valencia · First published 2009 · Latest edition 2015Open the Tome
Formal Methods : Applications and TechnologyLubos Brim, Boudewijn Haverkort, Martin Leucker, Jaco van de Pol · First published 2007Open the Tome
Model-Based Testing of Reactive SystemsManfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner · First published 2005Open the Tome
