Yannis Smaragdakis

Showing the single result

{PDF} Tests and Proofs: First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers Yannis Smaragdakis, Christoph Csallner (auth.), Yuri Gurevich, Bertrand Meyer (eds.)