Etessami, Kousha.
Computer Aided Verification 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings / [electronic resource] : edited by Kousha Etessami, Sriram K. Rajamani. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - digital. - Lecture Notes in Computer Science, 3576 0302-9743 ; . - Lecture Notes in Computer Science, 3576 .
9783540316862
10.1007/b138445 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 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings / [electronic resource] : edited by Kousha Etessami, Sriram K. Rajamani. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - digital. - Lecture Notes in Computer Science, 3576 0302-9743 ; . - Lecture Notes in Computer Science, 3576 .
9783540316862
10.1007/b138445 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