Hana Chockler
Hana Chockler
3 books in the database
Books
Validation of Evolving SoftwareHana Chockler
Validation of Evolving Software
Hana Chockler · 2015
Computer Aided VerificationHana Chockler
Computer Aided Verification
Hana Chockler · 2020
Hardware and Software : Verification and TestingHana Chockler
Hardware and Software : Verification and Testing
Hana Chockler · 2009