% 
% This file was created by the TYPO3 extension
% bib
% --- Timezone: CEST
% Creation date: 2024-04-16
% Creation time: 15-25-09
% --- Number of references
% 1
% 

@Inproceedings { 2017-liew-schemmel-fp,
   title = {Floating-Point Symbolic Execution: A Case Study in N-Version Programming},
   year = {2017},
   month = {10},
   day = {30},
   tags = {symbiosys},
   url = {file:1848},
   booktitle = {Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering},
   event_place = {Urbana-Champaign, IL, USA},
   language = {en},
   ISBN = {978-1-5386-2684-9/17},
   reviewed = {1},
   author = {Liew, Daniel and Schemmel, Daniel and Cadar, Cristian and Donaldson, Alastair and Z{\"a}hl, Rafael and Wehrle, Klaus}
}