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-Verlag Berlin Heidelberg, 2006.
- v.: digital
- Lecture Notes in Computer Science, 4144 0302-9743 ; .
9783540374114
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