![](https://www.pdfsearch.io/img/359f93fe7ffbc7f3bf057c41fd8073e6.jpg) Date: 2017-10-17 05:46:31
| | Floating-Point Symbolic Execution: A Case Study in N-Version Programming Daniel Liew∗ , Daniel Schemmel† , Cristian Cadar∗ , Alastair F. Donaldson∗ , Rafael Z¨ahl†‡ , Klaus Wehrle† ∗ Imperial College LoAdd to Reading ListSource URL: srg.doc.ic.ac.ukDownload Document from Source Website File Size: 243,88 KBShare Document on Facebook
|