Showing 1 - 2 of 2 Results
1.
Verification, Model Checking, and Abstract Interpretation : 17th International Conference, V... by Jobstmann, Barbara, Leino, ... ISBN: 9783662491218 List Price: $107.00
2.
Formal Methods in Computer Aided Design 2013 by Jobstmann, Barbara, Jobstma... ISBN: 9780983567837 List Price: $40.00