2009

Conférence Internationale avec comité de lecture

• [NR09] I. Noyer, R. Rioboo. "Reusing Proofs in a Mathematical Library", Calculemus 2009, January 2009,