Showing 1 - 6 results of 6 for search 'Chockler, Hana', query time: 0.02s
Refine Results
-
1
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 /
Published 2018Other Authors: “…Chockler, Hana…”
Link to Metadata
Electronic eBook -
2
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 /
Published 2018Other Authors: “…Chockler, Hana…”
Link to Metadata
Electronic eBook -
3
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
Published 2018Other Authors: “…Chockler, Hana…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
4
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
Published 2018Other Authors: “…Chockler, Hana…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
5
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
Published 2018Other Authors: “…Chockler, Hana…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
6
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
Published 2018Other Authors: “…Chockler, Hana…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter
Search Tools:
Related Subjects
Artificial intelligence
Software Engineering
Algorithms & data structures
Computer modelling & simulation
Computer programming / software development
Mathematical theory of computation
Algorithms
Artificial Intelligence
Computer Modelling
Computer Science Logic and Foundations of Programming
Computer science
Computer simulation
Formal Languages and Automata Theory
Machine theory
Software engineering