From Machine Arithmetic to Approximations and back again - Improved SMT Methods for Numeric Data Types
- Författare
- Aleksandar Zeljić
- (Aleksandar Zeljić.)
- Genre
- theses
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Acta Universitatis Upsaliensis | 2017 | Sverige, Uppsala | 55 sidor. | 978-91-513-0162-4 |
| Acta Universitatis Upsaliensis | 2017 | Sverige, Uppsala | 55 |