Bibtex de la publication

@Article{ Da2010.8,
author = {Daumas, Marc and Lester, David and Martin-Dorel, Erik and Truffert, Annick},
title = "{Improved bound for stochastic formal correctness of numerical algorithms}",
journal = {Innovations in Systems and Software Engineering},
publisher = {Springer},
address = {http://www.springerlink.com},
year = {2010},
volume = {6},
number = {3},
pages = {173--179},
language = {anglais},
URL = {http://dx.doi.org/10.1007/s11334-010-0128-x}
}