Computer aided verification [electronic resource] : 22nd international conference, CAV 2010, Edinburgh, UK, July 15-19, 2010 : proceedings / Tayssir Touili, Byron Cook, Paul Jackson (eds.)
Annotation This book constitutes the refereed proceedings of the 22nd International Conference on Computer Aided Verification, CAV 2010, held in Edinburgh, UK, in July 2010 as part of the Federated Logic Conference, FLoC 2010. The 34 revised full papers presented together with 17 tool papers, 4 invi...
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Corporate Author: | |
| Other Authors: | , , |
| Other title: | CAV 2010. |
| Format: | Electronic Conference Proceeding eBook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
©2010.
|
| Series: | Lecture notes in computer science ;
6174. LNCS sublibrary. Theoretical computer science and general issues. |
| Subjects: |
Internet
Full Text (via Springer)Online
| Call Number: |
QA76.76.V47 C38 2010
|
|---|---|
| QA76.76.V47 C38 2010 | Available |