Tests and Proofs [electronic resource] : 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 – July 1, 2011. Proceedings / edited by Martin Gogolla, Burkhart Wolff.
Material type: Computer fileSeries: Lecture Notes in Computer Science ; 6706Publication details: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011.Description: v.: digitalISBN:- 9783642217685
Reviews from LibraryThing.com:
No physical items for this record
There are no comments on this title.