Model Checking Software
by Susanne Graf, Laurent Mounier
Published
2004
Publisher
Springer London, Limited
ISBN-13
9783540247326
Subjects
You May Also Like
Software verification and validation
Software verification and validation
Systems and software verification
Systems and software verification
Software verification and validation
Software verification and validation
Software Verification and Validation
Software Verification and Validation
Software Verification and Validation
Software Verification and Validation
Systems and Software Verification
Systems and Software Verification
Frequently Asked Questions
Who is the author of Model Checking Software?
Model Checking Software was written by Susanne Graf, Laurent Mounier.
When was Model Checking Software published?
The publication date for this specific edition is 2004. The original work may have been published on a different date.