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

Full description

Saved in:
Corporate Author: SpringerLink (online služba)
Other Authors: Finkbeiner, Bernd (Editor), Pu, Geguang (Editor), Zhang, Lijun (Editor)
Format: eBook
Published: Cham : Springer International Publishing, 2015
Series:Lecture Notes in Computer Science
Genre/form:elektronické knihy
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!


Get full text
Status Sublibrary Description Location LCC Callnumber Old Callnumber