Bouajjani, Ahmed.
Computer Aided Verification 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings / [electronic resource] : edited by Ahmed Bouajjani, Oded Maler. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - digital. - Lecture Notes in Computer Science, 5643 0302-9743 ; . - Lecture Notes in Computer Science, 5643 .
9783642026584
10.1007/978-3-642-02658-4 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 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings / [electronic resource] : edited by Ahmed Bouajjani, Oded Maler. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - digital. - Lecture Notes in Computer Science, 5643 0302-9743 ; . - Lecture Notes in Computer Science, 5643 .
9783642026584
10.1007/978-3-642-02658-4 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