Boutheina Chetali (auth.)

Showing the single result

{PDF} Tests and Proofs: Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings Boutheina Chetali (auth.), Catherine Dubois (eds.)