Saved in:
Preview

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

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

Internet

Online version