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...

Full description

Saved in:
Bibliographic Details
Corporate Authors: ATVA (Symposium) Shanghai, China), SpringerLink (Online service)
Other Authors: Finkbeiner, Bernd (Editor), Pu, G. (Geguang) (Editor), Zhang, Lijun, 1979- (Editor)
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:
Automatic theorem proving -- Congresses.
Artificial intelligence -- Congresses.
Online Access:SpringerLink - Click here for access
Holdings details from CMU Electronic Access C502
Copy 1 CMU Electronic Access Available

Internet

SpringerLink - Click here for access

Similar Items