Tests and Proofs : 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014. Proceedings

This book constitutes the refereed proceedings of the 8th International Conference on Tests and Proofs, TAP 2014, held in York, UK, in July 2014, as part of the STAF 2014 Federated Conferences. The 10 revised full papers and 4 short papers presented together with two tutorial descriptions were caref...

Full description

Saved in:
Corporate Author: SpringerLink (online služba)
Other Authors: Seidl, Martina (Editor), Tillmann, Nikolai (Editor)
Format: eBook
Language:English
Published: Cham : Springer International Publishing, 2014
Series:Lecture Notes in Computer Science
Genre/form:elektronické knihy
ISBN:978-3-319-09099-3
9783319090986
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