%0 Conference Paper %1 conf/arith/BrainTRW15 %A Brain, Martin %A Tinelli, Cesare %A Rümmer, Philipp %A Wahl, Thomas %B ARITH %D 2015 %I IEEE %K dblp %P 160-167 %T An Automatable Formal Semantics for IEEE-754 Floating-Point Arithmetic. %U http://dblp.uni-trier.de/db/conf/arith/arith2015.html#BrainTRW15 %@ 978-1-4799-8664-4

@inproceedings{conf/arith/BrainTRW15, added-at = {2017-06-15T00:00:00.000+0200}, author = {Brain, Martin and Tinelli, Cesare and Rümmer, Philipp and Wahl, Thomas}, biburl = {https://www.bibsonomy.org/bibtex/2813205d38cef6e64765f5ba0648e34b6/dblp}, booktitle = {ARITH}, crossref = {conf/arith/2015}, ee = {https://doi.org/10.1109/ARITH.2015.26}, interhash = {5aea81d234691308460e0a673bdbcedb}, intrahash = {813205d38cef6e64765f5ba0648e34b6}, isbn = {978-1-4799-8664-4}, keywords = {dblp}, pages = {160-167}, publisher = {IEEE}, timestamp = {2019-10-17T19:28:40.000+0200}, title = {An Automatable Formal Semantics for IEEE-754 Floating-Point Arithmetic.}, url = {http://dblp.uni-trier.de/db/conf/arith/arith2015.html#BrainTRW15}, year = 2015 }