Tests and Proofs: First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers Book Discussion
Tests and Proofs: First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers (Lecture Notes in Computer Science, 4454)
by
