Computer Verified Exact Analysis (Tutorial).

Bas Spitters, Russell O'Connor

Browse the full CCA paper archive.