Tests and Proofs: 5th Inteational Conference, TAP 2011, Zurich, Switzerland, June 30 – July 1, 2011, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
Hardcover: 205 pages
Publisher: Springer (June 22, 2011)
Language: English
ISBN-10: 3642217672