Chockler, Hana books & textbook
Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July ... Computer Science and General Issues)
Chockler, Hana Weissenbacher, Georg
Springer /2018-07-22 Paperback / 722 Pages
isbn-10: 3319961446 / isbn-13: 9783319961446
Validation of Evolving Software (2015-07-01)
Springer; 2015 edition (2015-07-01) / Hardcover
Coverage Metrics for Model Checking
LAP LAMBERT Academic Publishing /2011-07-29 Paperback / 144 Pages
isbn-10: 3845421983 / isbn-13: 9783845421988
Hardware and Software: Verification and Testing: 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008, ... (Lecture Notes in Computer Science, 5394)
Springer /2009-04-22 Paperback / 227 Pages
isbn-10: 3642017010 / isbn-13: 9783642017018
Computer Aided Verification
Chockler, Hana Weissenbacher, Georg
Saint Philip Street Press /2020-10-08 Hardcover / 554 Pages
isbn-10: 1013271017 / isbn-13: 9781013271014
