Model Checking Software
by Klaus Havelund, Rupak Majumdar, Jens Palsberg
Published
2008
Publisher
Springer London, Limited
ISBN-13
9783540851141
Frequently Asked Questions
Who is the author of Model Checking Software?
Model Checking Software was written by Klaus Havelund, Rupak Majumdar, Jens Palsberg.
When was Model Checking Software published?
The publication date for this specific edition is 2008. The original work may have been published on a different date.