Login / Signup

Using PVS to validate the algorithms of an exact arithmetic.

David R. LesterPaul Gowland
Published in: Theor. Comput. Sci. (2003)
Keyphrases