Tests and Proofs Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings - Dubois, Catherine (Springer Berlin Heidelberg : Imprint: Springer, 2009)