Hana Chockler

No bio available. Add one in Open Library.

Books by Hana Chockler (50 max)

+ shelf+ list

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July ...

2018

Hana Chockler, Georg Weissenbacher

+ shelf+ list

Validation of Evolving Software

2015

Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina

+ shelf+ list

Hardware and Software : Verification and Testing 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008, Revised Selected Papers

2009

Hana Chockler, Alan J. Hu