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

Saved in:
Bibliographic Details
Corporate Author: CAV (Conference) Berkeley, Calif.)
Other Authors: Madhusudan, P., Seshia, Sanjit A.
Series:Lecture notes in computer science ; 7358.
LNCS sublibrary. Theoretical computer science and general issues.
Online Access:Link to e-book
Physical Description:1 online resource (xvi, 789 pages) : illustrations.
Bibliography:Includes bibliographical references and index.
Published: Berlin ; New York : Springer, [2012]
ISBN:9783642314247 (electronic bk.)
3642314244 (electronic bk.)
ISSN:1611-3349 ;