Loading…
Automated technology for verification and analysis 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings /
This book constitutes the proceedings of the 13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015, held in Shanghai, China, in October 2015. The 27 revised papers presented together with 6 tool papers in this volume were carefully reviewed and selected from 9...
Saved in:
Corporate Authors: | , |
---|---|
Other Authors: | , , |
Format: | Conference Proceeding eBook |
Language: | English |
Published: |
Cham :
Springer,
2015.
|
Series: | Lecture notes in computer science ;
9364. LNCS sublibrary. Programming and software engineering. |
Physical Description: |
1 online resource (xiii, 520 pages) : illustrations. |
Subjects: | |
Online Access: | SpringerLink - Click here for access |
Copy 1 | CMU Electronic Access | Available |
---|