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-Verlag Berlin Heidelberg, 2005.
- v.: digital
- Lecture Notes in Computer Science, 3576 0302-9743 ; .
9783540316862
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.76.V47 / E84 2005