Gopalakrishnan, Ganesh.
Computer Aided Verification 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings / [electronic resource] : edited by Ganesh Gopalakrishnan, Shaz Qadeer. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. - digital. - Lecture Notes in Computer Science, 6806 0302-9743 ; . - Lecture Notes in Computer Science, 6806 .
9783642221101
10.1007/978-3-642-22110-1 doi
Computer science.
Software engineering.
Logic design.
Artificial intelligence.
Computer Science.
Logics and Meanings of Programs.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Mathematical Logic and Formal Languages.
Programming Techniques.
Artificial Intelligence (incl. Robotics).
QA76.9.L63 QA76.5913 QA76.63
005.1015113
Computer Aided Verification 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings / [electronic resource] : edited by Ganesh Gopalakrishnan, Shaz Qadeer. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. - digital. - Lecture Notes in Computer Science, 6806 0302-9743 ; . - Lecture Notes in Computer Science, 6806 .
9783642221101
10.1007/978-3-642-22110-1 doi
Computer science.
Software engineering.
Logic design.
Artificial intelligence.
Computer Science.
Logics and Meanings of Programs.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Mathematical Logic and Formal Languages.
Programming Techniques.
Artificial Intelligence (incl. Robotics).
QA76.9.L63 QA76.5913 QA76.63
005.1015113