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)
by Martina Seidl, Nikolai Tillmann
ISBN 13: 9783319090986
Format: Paperback (228 pages) Publisher: Springer Published: 04 Aug 2014
Save for later