Tests and Proofs: 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings (Lecture Notes in Computer Science, Band 8570)

Proceedings

von: Martina Seidl · Nikolai Tillmann

Taschenbuch

EAN=ISBN-13: 978-3-319-09098-6

ISBN-10: 3-319-09098-4

Springer · 2014