Berger, Ulrich, United Kingdom
-
Volume 23: Automated Verification of Critical Systems 2009 - Articles
A coinductive approach to verified exact real number computation
Abstract PDF -
Volume 23: Automated Verification of Critical Systems 2009 - Articles
Proofs-as-Programs in Computable Analysis
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.