ProfessorCristianCadar

Faculty of Engineering, Department of Computing

Professor of Software Reliability

Contact

c.cadar Website

Location

435Huxley BuildingSouth Kensington Campus

Summary

Publications

Citation

BibTex format

@inproceedings{Liew:2017,
author = {Liew, D and Schemmel, D and Cadar, C and Donaldson, A and Zähl, R and Wehrle, R},
publisher = {IEEE},
title = {Floating-Point Symbolic Execution: A Case Study in N-version Programming},
url = {http://hdl.handle.net/10044/1/51183},
year = {2017}
}

Download

RIS format (EndNote, RefMan)

TY  - CPAPER
AU  - Liew,D
AU  - Schemmel,D
AU  - Cadar,C
AU  - Donaldson,A
AU  - Zähl,R
AU  - Wehrle,R
PB  - IEEE
PY  - 2017///
TI  - Floating-Point Symbolic Execution: A Case Study in N-version Programming
UR  - http://hdl.handle.net/10044/1/51183
ER  -

Download