Languages
Kuncak, Viktor.
Overview
Works: | 1 works in 3 publications in 1 languages |
---|
Titles
Verification, model checking, and abstract13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012 : proceedings /
by:
(1998 :); Kuncak, Viktor.; Rybalchenko, Andrey.; SpringerLink (Online service)
(Electronic resources)
Computer aided verification29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017 : proceedings.Part I /
by:
(1998 :); Kuncak, Viktor.; Majumdar, Rupak.; SpringerLink (Online service)
(Electronic resources)
Computer aided verification29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017 : proceedings.Part II /
by:
(1998 :); Kuncak, Viktor.; Majumdar, Rupak.; SpringerLink (Online service)
(Electronic resources)
Subjects
Mathematical Logic and Formal Languages.
Software Engineering.
Logics and Meanings of Programs.
Programming Techniques.
Computer software
Algorithm Analysis and Problem Complexity.
Artificial Intelligence (incl. Robotics)
Computing Milieux.
Programming Languages, Compilers, Interpreters.
The Computing Profession.
Computer Science.
Simulation and Modeling.
System Performance and Evaluation.