Languages
Chockler, Hana.
Overview
Works: | 0 works in 3 publications in 1 languages |
---|
Titles
Computer aided verification30th International Conference, CAV 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018 : proceedings.Part I /
by:
(1998 :); Chockler, Hana.; SpringerLink (Online service); Weissenbacher, Georg.
(Electronic resources)
Validation of evolving software
by:
Chockler, Hana.; SpringerLink (Online service)
(Electronic resources)
Computer aided verification30th International Conference, CAV 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018 : proceedings.Part II /
by:
(1998 :); Chockler, Hana.; SpringerLink (Online service); Weissenbacher, Georg.
(Electronic resources)
Hardware and software : verification and testing4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008 ; proceedings /
by:
(1998 :); Chockler, Hana.; Hu, Alan J.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software Engineering.
Mathematical Logic and Formal Languages.
Software architecture
Logics and Meanings of Programs.
Computer software
Artificial Intelligence (incl. Robotics)
Algorithm Analysis and Problem Complexity.
Programming Languages, Compilers, Interpreters.
Computer programs
Computer Science.
Simulation and Modeling.