Title: Computer Aided Verification 20th International Conference Cav 2008 Princeton Nj Usa July 714 2008 Proceedings
Subjects: Logic design, Artificial intelligence, Computer science, Software engineering, Computer software, Congresses, Verification, Electronic digital computers, Evaluation, Informatique, Integrated circuits, Computer software, verification