%0 Journal Article %1 journals/scp/Marche14 %A Marché, Claude %D 2014 %J Sci. Comput. Program. %K dblp %P 279-296 %T Verification of the functional behavior of a floating-point program: An industrial case study. %U http://dblp.uni-trier.de/db/journals/scp/scp96.html#Marche14 %V 96

@article{journals/scp/Marche14, added-at = {2021-07-25T00:00:00.000+0200}, author = {Marché, Claude}, biburl = {https://www.bibsonomy.org/bibtex/293d626cd47000c1b5ca718573d831a20/dblp}, ee = {https://doi.org/10.1016/j.scico.2014.04.003}, interhash = {6907a8cda6a8efb968ea3cae8e7679e3}, intrahash = {93d626cd47000c1b5ca718573d831a20}, journal = {Sci. Comput. Program.}, keywords = {dblp}, pages = {279-296}, timestamp = {2024-04-09T05:29:27.000+0200}, title = {Verification of the functional behavior of a floating-point program: An industrial case study.}, url = {http://dblp.uni-trier.de/db/journals/scp/scp96.html#Marche14}, volume = 96, year = 2014 }