Tests and Proofs - 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 - July 1, 2011. Proceedings

@inproceedings{2011TestsAP,
  title={Tests and Proofs - 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 - July 1, 2011. Proceedings},
  author={},
  booktitle={TAP},
  year={2011}
}