Bibtex de la publication

@InProceedings{ Da2009.5,
author = {Daumas, Marc and Lester, David and Martin-Dorel, Erik and Truffert, Annick},
title = "{Stochastic formal correctness of numerical algorithms (regular paper)}",
booktitle = "{International Symposium on NASA Formal Methods (NFM), Moffett Field, California, 06/04/2009-08/04/2009}",
year = {2009},
publisher = {NASA},
address = {http://www.nasa.org},
pages = {136--145},
language = {anglais},
URL = {http://ti.arc.nasa.gov/m/events/nfm09/proceedings.pdf}
}