Approximating and Interpolating Theories of Arithmetic for Software Verification
Open access
Date
2011Type
- Doctoral Thesis
ETH Bibliography
yes
Altmetrics
Permanent link
https://doi.org/10.3929/ethz-a-006712356Publication status
publishedExternal links
Search print copy at ETH Library
Publisher
ETH ZurichSubject
VERIFICATION (SOFTWARE ENGINEERING); APPROXIMATION UND INTERPOLATION (NUMERISCHE MATHEMATIK); APPROXIMATION AND INTERPOLATION (NUMERICAL MATHEMATICS); VERIFIKATION (SOFTWARE ENGINEERING)Organisational unit
02150 - Dep. Informatik / Dep. of Computer Science03232 - Gutknecht, Jürg
More
Show all metadata
ETH Bibliography
yes
Altmetrics