%0 Conference Paper %1 conf/spin/NguyenJR22 %A Nguyen, Thanh Son %A Jones, Ben %A Rakamaric, Zvonimir %B SPIN %D 2022 %E Legunsen, Owolabi %E Rosu, Grigore %I Springer %K dblp %P 44-60 %T Synthesis of Rigorous Floating-Point Predicates. %U http://dblp.uni-trier.de/db/conf/spin/spin2022.html#NguyenJR22 %V 13255 %@ 978-3-031-15077-7

@inproceedings{conf/spin/NguyenJR22, added-at = {2022-09-10T00:00:00.000+0200}, author = {Nguyen, Thanh Son and Jones, Ben and Rakamaric, Zvonimir}, biburl = {https://www.bibsonomy.org/bibtex/23f80f51bacfbc946093deb55bff3bf9f/dblp}, booktitle = {SPIN}, crossref = {conf/spin/2022}, editor = {Legunsen, Owolabi and Rosu, Grigore}, ee = {https://doi.org/10.1007/978-3-031-15077-7_3}, interhash = {9e80f638aa64b892856be1536e92e456}, intrahash = {3f80f51bacfbc946093deb55bff3bf9f}, isbn = {978-3-031-15077-7}, keywords = {dblp}, pages = {44-60}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T13:54:50.000+0200}, title = {Synthesis of Rigorous Floating-Point Predicates.}, url = {http://dblp.uni-trier.de/db/conf/spin/spin2022.html#NguyenJR22}, volume = 13255, year = 2022 }