Languages
CAV (Conference) (2017 :)
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Computer aided verification = 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017 : proceedings.. Part I /
by:
CAV (Conference) (2017 :); Majumdar, Rupak.; Kuncak, Viktor.; SpringerLink (Online service)
(Electronic resources)
Computer aided verification = 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017 : proceedings.. Part II /
by:
CAV (Conference) (2017 :); Majumdar, Rupak.; Kuncak, Viktor.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software Engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Artificial Intelligence (incl. Robotics)
Programming Techniques.
Computing Milieux.
Programming Languages, Compilers, Interpreters.
The Computing Profession.
Computer software- Verification
Computer Science.
Simulation and Modeling.
System Performance and Evaluation.