Computer Aided Verification
Subtitle: 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings
By: edited by P. Madhusudan, Sanjit A. Seshia
Contributors: Seshia, Sanjit A.; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 7358
Publisher: Springer Berlin Heidelberg
Published: 2012
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642314247
Subjects: Mathematical Logic and Formal Languages; Software engineering; Computer input-output equipment; Computers; Logic design; Logics and Meanings of Programs; Artificial Intelligence (incl. Robotics); Computer science; Artificial intelligence; Special Purpose and Application-Based Systems