Tests and Proofs: 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings (Lecture Notes in Computer Science, Band 9762)

Proceedings

von: Bernhard K. Aichernig · Carlo A. Furia

Taschenbuch

ISBN: 978-3-319-41134-7

ISBN-10: 3-319-41134-9

Springer · 2016