- ECU Libraries Catalog

Start Over

You searched for: author_facet Chockler, Hana

Showing 1 - 4 of 4 results

Search Results

Cover image for Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

by Chockler, Hana
2018
Format: Electronic

Location
Access Content Online

Cover image for Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II

by Chockler, Hana
2018
Format: Electronic

Location
Access Content Online

Cover image for Validation of Evolving Software

Validation of Evolving Software

by Chockler, Hana
2015
Format: Electronic

Location
Access Content Online

Cover image for Hardware and software

Hardware and software

by International Haifa Verification Conference
2009
Format: Electronic

Location
Access Content Online