36665150
9783642389153
Tests and Proofs: 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering), 2013 was published 2013 under ISBN 9783642389153 and ISBN 3642389155.
[read more]