Hana Chockler

Books
Computer Aided Verification Computer Aided Verification
Computer Aided Verification
2018
Validation of Evolving Software Validation of Evolving Software
Validation of Evolving Software
2015