Computer Aided Verification
by Werner Damm, Holger Hermanns
Published
2007
Publisher
Springer London, Limited
ISBN-13
9783540733683
Frequently Asked Questions
Who is the author of Computer Aided Verification?
Computer Aided Verification was written by Werner Damm, Holger Hermanns.
When was Computer Aided Verification published?
The publication date for this specific edition is 2007. The original work may have been published on a different date.