Klaus Havelund

Klaus Havelund is the author of "Java Pathfinder User Guide", "SPIN Model Checking and Software Verification", "Formal Approaches to Software Testing and Runtime Verification" and "Model Checking Software".

Books by Klaus Havelund

NASA -- Formal Me...
Havelund Klaus
Paperback: $54.99

Java Pathfinder U...
Havelund, Klaus
Paperback:

Model Checking So...
Havelund Klaus
Paperback: $54.99

SPIN Model Checki...
SPIN 2000 Staff
Paperback: $54.99