%0 Journal Article %1 journals/afp/Immler14 %A Immler, Fabian %D 2014 %J Arch. Formal Proofs %K dblp %T Affine Arithmetic. %U http://dblp.uni-trier.de/db/journals/afp/afp2014.html#Immler14 %V 2014

@article{journals/afp/Immler14, added-at = {2020-05-25T00:00:00.000+0200}, author = {Immler, Fabian}, biburl = {https://www.bibsonomy.org/bibtex/2f131b2d4feb78746c5e80c09150a80ca/dblp}, ee = {https://www.isa-afp.org/entries/Affine_Arithmetic.shtml}, interhash = {67b6dca51114a6bc5f750a314936b01e}, intrahash = {f131b2d4feb78746c5e80c09150a80ca}, journal = {Arch. Formal Proofs}, keywords = {dblp}, timestamp = {2020-05-26T11:50:19.000+0200}, title = {Affine Arithmetic.}, url = {http://dblp.uni-trier.de/db/journals/afp/afp2014.html#Immler14}, volume = 2014, year = 2014 }