%0 Journal Article %1 journals/tse/CollingbourneCK14 %A Collingbourne, Peter %A Cadar, Cristian %A Kelly, Paul H. J. %D 2014 %J IEEE Trans. Software Eng. %K dblp %N 7 %P 710-737 %T Symbolic Crosschecking of Data-Parallel Floating-Point Code. %U http://dblp.uni-trier.de/db/journals/tse/tse40.html#CollingbourneCK14 %V 40

@article{journals/tse/CollingbourneCK14, added-at = {2015-12-10T00:00:00.000+0100}, author = {Collingbourne, Peter and Cadar, Cristian and Kelly, Paul H. J.}, biburl = {https://www.bibsonomy.org/bibtex/22c53b815cc1751a114dde859c0d9a139/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/TSE.2013.2297120}, interhash = {071d6661b286ad76641cadb66425bb08}, intrahash = {2c53b815cc1751a114dde859c0d9a139}, journal = {IEEE Trans. Software Eng.}, keywords = {dblp}, number = 7, pages = {710-737}, timestamp = {2015-12-12T11:56:16.000+0100}, title = {Symbolic Crosschecking of Data-Parallel Floating-Point Code.}, url = {http://dblp.uni-trier.de/db/journals/tse/tse40.html#CollingbourneCK14}, volume = 40, year = 2014 }