Hana Chockler
Identifiers
- Open LibraryOL7859864A
Top Subjects
- Computer science (1)
- Computer software, validation (1)
- Computer modelling & simulation (1)
- Artificial intelligence (1)
- Computer programming / software development (1)
- Mathematical theory of computation (1)
- Software Engineering (1)
Books by Hana Chockler
Total count: 3
-
Hardware and Software : Verification and Testing4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008, Revised Selected PapersSpringer London, Limited2009-01-01
-
Validation of Evolving SoftwareSpringer2015-01-01
-
Computer Aided Verification30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part IISpringer Nature2018-01-01