Formal MethodsKlaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink · First published 2018Open the Tome
Tools and Algorithms for the Construction and Analysis of SystemsErika Abraham, Klaus Havelund · First published 2014Open the Tome
Nasa Formal Methods Third International Symposium Nfm 2011 Pasadena Ca Usa April 1820 2011 ProceedingsKlaus Havelund · First published 2011Open the Tome
Formal Approaches to Software Testing and Runtime VerificationKlaus Havelund,Grigore Rosu,Manuel N. Nez · First published 2008Open the Tome
Model Checking SoftwareKlaus Havelund, Rupak Majumdar, Jens Palsberg · First published 2008Open the Tome
Model Checking Software Lecture Notes in Computer ScienceKlaus Havelund · First published 2008Open the Tome
Formal Approaches to Software Testing and Runtime VerificationKlaus Havelund, Manuel Núnez, Grigore Rosu, Burkhart Wolff · First published 2006Open the Tome
SPIN Model Checking and Software VerificationKlaus Havelund, John Penix, Willem Visser · First published 2006Open the Tome
