"Connecting Bits with Floating-Point Numbers: Model Checking and Theorem ..."

Carl-Johan H. Seger (2000)
a service of Schloss Dagstuhl - Leibniz Center for Informatics