ISBN 9783319090986 books & textbook
Tests and Proofs: 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings (Programming and Software Engineering)
Seidl, Martina Tillmann, Nikolai
Springer /2014-08-04 Paperback / 226 Pages
isbn-10: 3319090984 / isbn-13: 9783319090986