Skip to main content
Skip to navigation
Skip to toolbar

Browse by Author

1 Results for Brillout, Angelo

Subscribe to RSS feed for this result set

Sort results by

Results per page

1. Approximating and interpolating theories of arithmetic for software verification

Brillout, Angelo (2011)

Doctoral and Habilitation Theses