Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings - Touili, Tayssir; Cook, Byron; Jackson, Paul.; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2010)
Keywords: Computer science; Computer Communication Networks; Software engineering; Logic design; Artificial intelligence; 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