Tests and proofs : 5th international conference, TAP 2011 : Zurich, Switzerland, June 30-July 1, 2011 : proceedings : Jun 2011, Zurich, Switzerland. (Lecture Notes in Computer Science ; 6706)
Tests and proofs : 5th international conference, TAP 2011 : Zurich, Switzerland, June 30-July 1, 2011 : proceedings : Jun 2011, Zurich, Switzerland.