Context

Context of Tests and proofs : first international conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007 : revised papers, Yuri Gurevich, Bertrand Meyer (eds.)
Processing Feedback ...