Cite this
Email this
Export Record
Save to List
Order a print copy

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

This book constitutes the refereed proceedings of the 24th International Conference on Computer Aided Verification, CAV 2012, held in Berkeley, CA, USA in July 2012. The 38 regular and 20 tool papers presented were carefully reviewed and selected from 185 submissions. The papers are organized in top...

Full description

Saved in:
Bibliographic Details
Other Authors: Madhusudan, P (Editor)
Seshia, Sanjit A (Editor)
Corporate Author: SpringerLink (online služba)  
Format: eBook
Language:English
Published: Berlin ; Heidelberg : Springer Berlin Heidelberg, 2012
Series:Lecture Notes in Computer Science
Genre/form:elektronické knihy
ISBN:978-3-642-31424-7
9783642314230
Subjects:
Online Access:Plný text
Tags: Add Tag
No Tags, Be the first to tag this record!
Cover Image

Internet

Plný text
Status Sublibrary Description Location LCC Call number Old Call number