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

 Staff view

You must be logged in to Tag Records

Computer Aided Verification [electronic resource]: 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings

Book Cover
Names: Parthasarathy,Madhusudan | Seshia,Sanjit A.
Published: New York : Springer June 2012
Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues Ser. 7358
Genres: Electronic books.
Tags: Add


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


Loading Holdings Data ... Loading

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