Sign in
Join Literal
Model Checking Software
Klaus Havelund
Want to read
Sign up to use
Klaus Havelund
Model Checking Software
15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings
Klaus Havelund,
Rupak Majumdar
Want to read
Sign up to use
Want to read
Sign up to use
Overview
Reviews
Highlights
Editions
Properties”.
Discover more books like Model Checking Software