Hana Chockler – författare

Computer Aided Verification

Computer Aided Verification

Computer Aided Verification

Computer Aided Verification

Validation of Evolving Software

Validation of Evolving Software

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 I