Ball, Thomas.
Computer Aided Verification 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings / [electronic resource] : edited by Thomas Ball, Robert B. Jones. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. - digital. - Lecture Notes in Computer Science, 4144 0302-9743 ; . - Lecture Notes in Computer Science, 4144 .
9783540374114
10.1007/11817963 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 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings / [electronic resource] : edited by Thomas Ball, Robert B. Jones. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. - digital. - Lecture Notes in Computer Science, 4144 0302-9743 ; . - Lecture Notes in Computer Science, 4144 .
9783540374114
10.1007/11817963 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