Computer aided verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010 : proceedings - CAV 2010 (2010 : Edinburgh, Scotland); Touili, Tayssir; Cook, Byron; Jackson, Paul.; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010)
Keywords: Computer software -- Verification -- Congresses; Electronic digital computers -- Evaluation -- Congresses; Computer Science; Logics and Meanings of Programs; Software Engineering; Programming Languages, Compilers, Interpreters; Mathematical Logic and Formal Languages; Artificial Intelligence (incl. Robotics); Computer Communication Networks