Model Checking Software by Corina S. Pasareanu | Menrva Books | MenrvaBooks

Company

Why Menrva Books

Help & Support

Legal & Privacy

© 2026 Menrva Books

All Rights Reserved.

Model Checking Software

Model Checking Software

Corina S. Pasareanu

0

0

Author Description

Page Count:
312

Publication Date:
2009-07-14

ISBN-10:
3642026532

ISBN-13:
9783642026539

Community Tags

Reader Comments

Share Your Thoughts

No comments yet. Be the first to share your thoughts!

Model Checking Software by Corina S. Pasareanu | Menrva Books | MenrvaBooks