Tests and Proofs: 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings: 10375 (Lecture Notes in Computer Science)
by Sebastian Gabmeyer, Einar Broch Johnsen
ISBN 13: 9783319614663
Format: Paperback (176 pages) Publisher: Springer Published: 18 Jun 2017
Save for later