Constructing the Real Numbers in HOL

John Harrison. Constructing the Real Numbers in HOL. Formal Methods in System Design, 5(1/2):35-59, 1994.

No reviews for this publication, yet.