Cover Image

Computer aided verification : 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011 : proceedings /

Bibliographic Details
Corporate Author: CAV (Conference) Snowbird, Utah)
Other Authors: Gopalakrishnan, Ganesh, Qadeer, Shaz
Format: Conference Proceeding eBook
Language:English
Published: Heidelberg : Springer, 2011.
Series:LNCS sublibrary. Theoretical computer science and general issues.
Lecture notes in computer science ; 6806.
Subjects:
Computer software > Verification > Congresses.
Electronic digital computers > Evaluation > Congresses.
Electronic books.
Online Access:Connect to the full text of this electronic book
Description
Item Description:Electronic resource.
Physical Description:1 online resource.
Bibliography:Includes bibliographical references and index.
ISBN:3642221106 (electronic bk.)
9783642221101 (electronic bk.)
ISSN:0302-9743 ;
DOI:10.1007/978-3-642-22110-1