TY - DATA AU - Gogolla,Martin AU - Wolff,Burkhart ED - SpringerLink (Online service) TI - Tests and Proofs: 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 – July 1, 2011. Proceedings SN - 9783642217685 PY - 2011/// CY - Berlin, Heidelberg PB - Springer-Verlag GmbH Berlin Heidelberg KW - Computer science KW - Software engineering KW - Logic design KW - Computer Science KW - Software Engineering KW - Programming Techniques KW - Logics and Meanings of Programs KW - Mathematical Logic and Formal Languages KW - Programming Languages, Compilers, Interpreters UR - http://dx.doi.org/10.1007/978-3-642-21768-5 ER -