2014 | Book
Tests and Proofs
8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014. Proceedings
Editors: Martina Seidl, Nikolai Tillmann
Publisher: Springer International Publishing
Book Series : Lecture Notes in Computer Science