Bibtex de la publication

@InProceedings{ Br2012.2,
author = {Brisebarre, Nicolas and Joldes, Mioara and Martin-Dorel, Erik and Mayero, Micaela and Muller, Jean-Michel and Pasca, Ioana and Rideau, Laurence and Théry, Laurent},
title = "{Rigorous Polynomial Approximation Using Taylor Models in Coq (regular paper)}",
booktitle = "{International Symposium on NASA Formal Methods (NFM), Norfolk, Virginia, 03/04/2012-05/04/2012}",
year = {2012},
publisher = {Springer},
address = {http://www.springerlink.com},
pages = {85--99},
language = {anglais},
URL = {http://dx.doi.org/10.1007/978-3-642-28891-3_9}
}