K
Klaus Havelund
8 works on record
Works

Nasa Formal Methods Third International Symposium Nfm 2011 Pasadena Ca Usa April 1820 2011 Proceedings

Model Checking Software Lecture Notes in Computer Science

Formal Methods

Tools and Algorithms for the Construction and Analysis of Systems

NASA Formal Methods
SPIN Model Checking and Software Verification
SPIN Model Checking and Software Verification
Formal Approaches to Software Testing and Runtime Verification
Formal Approaches to Software Testing and Runtime Verification
Model Checking Software
Model Checking Software