Tests and Proofs
Subtitle: 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 – July 1, 2011. Proceedings
By: edited by Martin Gogolla, Burkhart Wolff
Contributors: Wolff, Burkhart; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 6706
Publisher: Springer-Verlag GmbH Berlin Heidelberg
Published: 2011
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642217678; 9783642217685
Subjects: Logic design; Computer science; Software engineering