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}
}