Computer Aided Verification
Subtitle: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings
By: edited by Ganesh Gopalakrishnan, Shaz Qadeer
Contributors: Qadeer, Shaz; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 6806
Publisher: Springer-Verlag GmbH Berlin Heidelberg
Published: 2011
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642221095; 9783642221101
Subjects: Logic design; Software engineering; Computer science; Artificial intelligence