Location & Availability for: Computer Aided Verification : 24th Inter

 Staff view

You must be logged in to Tag Records

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

P. Madhusudan, Sanjit A. Seshia (eds.).

Book Cover
Names: Madhusudan, P. | Seshia, Sanjit A.
Published: Berlin ; Springer, ©2012.
Series: Lecture notes in computer science ; 7358.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Topics: Computer software - Verification - Congresses. | Informatique.
Genres: Electronic books. | Conference papers and proceedings.
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.


Loading Holdings Data ... Loading

Location & Availability for: Computer Aided Verification : 24th Inter