Gogolla

Tests and Proofs: 5th International Conference, TAP 2011, Zürich, Switzerland, June 30 - July 1, 2011, Proceedings: 6706 (Lecture Notes in Computer Science, 6706)

By Gogolla, Martin, Wolff, Burkhart