Login / Signup
Rafael Zähl
Publication Activity (10 Years)
Years Active: 2017-2017
Publications (10 Years): 1
2025
2016
Top Topics
2025
2016
Specification Language
2025
2016
Floating Point Arithmetic
2025
2016
Symbolic Execution
2025
2016
Sparse Matrices
Top Venues
ASE
</>
Publications
</>
Daniel Liew
,
Daniel Schemmel
,
Cristian Cadar
,
Alastair F. Donaldson
,
Rafael Zähl
,
Klaus Wehrle
Floating-point symbolic execution: a case study in n-version programming.
ASE
(2017)