Computer Aided Verification 24th International conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 : proceedings /

Corporate Author: CAV (Conference) Berkeley, Calif.), SpringerLink (Online service)
Other Authors: Madhusudan, P., Seshia, Sanjit A.
Format: Online Conference Proceeding Book
Language: English
Published: Berlin ; New York : Springer, c2012.
Series: Lecture notes in computer science ; 7358.
LNCS sublibrary. Theoretical computer science and general issues.
Online Access: Online version
Tags: Add Tag
No Tags, Be the first to tag this record!