Home > Authors > Klaus Havelund > Model Checking Software
Model Checking Software
Recent activity
Rate this book to see your activity here.
12 Books Similar to Model Checking Software by Klaus Havelund
Bookscovery readers who liked Model Checking Software also like
Formal Methods, Tools and Algorithms for the Construction and Analysis of Systems and Computer Aided Verification.
How many of these have you read?
Comments and reviews of Model Checking Software
Please sign in to leave a comment