Chou, Gao et Zhang en Coq
Slides made with
latex2slides 1.0
Presentation by Julien Narboux