Gupta, Aarti.
Computer Aided Verification 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings / [electronic resource] : edited by Aarti Gupta, Sharad Malik. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. - digital. - Lecture Notes in Computer Science, 5123 0302-9743 ; . - Lecture Notes in Computer Science, 5123 .
9783540705451
10.1007/978-3-540-70545-1 doi
Computer science.
Logic design.
Software engineering.
Artificial intelligence.
Computer Science.
Logics and Meanings of Programs.
Software Engineering.
Mathematical Logic and Formal Languages.
Artificial Intelligence (incl. Robotics).
Logic Design.
QA76.9.L63 QA76.5913 QA76.63
005.1015113
Computer Aided Verification 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings / [electronic resource] : edited by Aarti Gupta, Sharad Malik. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. - digital. - Lecture Notes in Computer Science, 5123 0302-9743 ; . - Lecture Notes in Computer Science, 5123 .
9783540705451
10.1007/978-3-540-70545-1 doi
Computer science.
Logic design.
Software engineering.
Artificial intelligence.
Computer Science.
Logics and Meanings of Programs.
Software Engineering.
Mathematical Logic and Formal Languages.
Artificial Intelligence (incl. Robotics).
Logic Design.
QA76.9.L63 QA76.5913 QA76.63
005.1015113