Hana Chockler

Computer Aided Verification
Validation of Evolving Software
Hardware and Software : Verification and Testing