Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings (Lecture Notes in Computer Science, Band 9364)

Verification

von: Bernd Finkbeiner · Geguang Pu · Lijun Zhang

Taschenbuch

ISBN-13: 978-3-319-24952-0

ISBN-10: 3-319-24952-5

Springer · 2015