Bibtex de la publication

@Unpublished{ Ma2011.33,
author = {Martin-Dorel, Erik},
title = "{Univariate and Bivariate Integral Roots Certificates Based on Hensel Lifting (The Third Coq Workshop 2011, Nijmegen, Netherlands, 26/08/2011-26/08/2011)}",
editor = {Spitters, Bas},
year = {2011},
language = {anglais},
URL = {http://www.cs.ru.nl/~spitters/coqw_files/program.html}
}