Tests and Proofs
Subtitle: 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings
Publisher: Springer
Published: Jun 18, 2017
Format: paperback
Number of pages: 174
ISBN-13: 9783319614663
Notes: Source title: Tests and Proofs: 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings (Lecture Notes in Computer Science (10375))