Login / Signup
Sion Lloyd
Publication Activity (10 Years)
Years Active: 2009-2009
Publications (10 Years): 0
</>
Publications
</>
Ulrich Berger
,
Sion Lloyd
A coinductive approach to verified exact real number computation.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
23 (2009)