Tests and Proofs : 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings

This book constitutes the refereed proceedings of the 9th International Conference on Tests and Proofs, TAP 2015, held in L` Aquila, Italy, in July 2015, as part of the STAF 2015 Federated Conferences. The 11 revised full papers and 1 short papers presented together with 3 invited talks were careful...

Full description

Saved in:
Corporate Author: SpringerLink (online služba)
Other Authors: Blanchette, Jasmin Christian (Editor), Kosmatov, Nikolai (Editor)
Format: eBook
Language:English
Published: Cham : Springer International Publishing, 2015
Series:Lecture Notes in Computer Science
Genre/form:elektronické knihy
ISBN:978-3-319-21215-9
9783319212142
Subjects:
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!

Internet

Get full text
Status Sublibrary Description Location LCC Callnumber Old Callnumber