Title: Computer Aided Verification 22nd International Conference Cav 2010 Edinburgh Uk July 1519 2010 Proceedings
Subjects: Logic design, Computer networks, Software engineering, Computer science, Artificial intelligence, Computer software, verification, Electronic digital computers, evaluation