%0 Conference Paper %1 conf/itp/BoldoJMP17 %A Boldo, Sylvie %A Joldes, Mioara %A Muller, Jean-Michel %A Popescu, Valentina %B ITP %D 2017 %E Ayala-Rincón, Mauricio %E Muñoz, César A. %I Springer %K dblp %P 98-113 %T Formal Verification of a Floating-Point Expansion Renormalization Algorithm. %U http://dblp.uni-trier.de/db/conf/itp/itp2017.html#BoldoJMP17 %V 10499 %@ 978-3-319-66107-0

@inproceedings{conf/itp/BoldoJMP17, added-at = {2021-04-09T00:00:00.000+0200}, author = {Boldo, Sylvie and Joldes, Mioara and Muller, Jean-Michel and Popescu, Valentina}, biburl = {https://www.bibsonomy.org/bibtex/2bd0864d441c10057c4d30219d99a48c3/dblp}, booktitle = {ITP}, crossref = {conf/itp/2017}, editor = {Ayala-Rincón, Mauricio and Muñoz, César A.}, ee = {https://doi.org/10.1007/978-3-319-66107-0_7}, interhash = {95431207db4ef1fa2e2ba7f493820df3}, intrahash = {bd0864d441c10057c4d30219d99a48c3}, isbn = {978-3-319-66107-0}, keywords = {dblp}, pages = {98-113}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T15:10:22.000+0200}, title = {Formal Verification of a Floating-Point Expansion Renormalization Algorithm.}, url = {http://dblp.uni-trier.de/db/conf/itp/itp2017.html#BoldoJMP17}, volume = 10499, year = 2017 }