Imperial College London
Alternate

ProfessorPaulKelly

Faculty of Engineering, Department of Computing

Professor of Software Technology
 
 
 
//

Contact

 

+44 (0)20 7594 8332p.kelly Website

 
 
//

Location

 

Level 3 (upstairs), William Penney Building, room 304William Penney LaboratorySouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@article{Collingbourne:2014:10.1109/TSE.2013.2297120,
author = {Collingbourne, P and Cadar, C and Kelly, PHJ},
doi = {10.1109/TSE.2013.2297120},
journal = {IEEE TRANSACTIONS ON SOFTWARE ENGINEERING},
pages = {710--737},
title = {Symbolic Crosschecking of Data-Parallel Floating-Point Code},
url = {http://dx.doi.org/10.1109/TSE.2013.2297120},
volume = {40},
year = {2014}
}
Download

RIS format (EndNote, RefMan)

TY  - JOUR
AU  - Collingbourne,P
AU  - Cadar,C
AU  - Kelly,PHJ
DO  - 10.1109/TSE.2013.2297120
EP  - 737
PY  - 2014///
SN  - 0098-5589
SP  - 710
TI  - Symbolic Crosschecking of Data-Parallel Floating-Point Code
T2  - IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
UR  - http://dx.doi.org/10.1109/TSE.2013.2297120
UR  - https://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000340191000005&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=a2bf6146997ec60c407a63945d4e92bb
UR  - http://hdl.handle.net/10044/1/14157
VL  - 40
ER  -
Download