Elena Guralnik, Ariel J. Birnbaum, Anatoly Koyfman, Avi Kaplan. Implementation Specific Verification of Divide and Square Root Instructions. In Javier D. Bruguera, Marius Cornea, Debjit Das Sarma, John Harrison, editors, 19th IEEE Symposium on Computer Arithmetic, ARITH 2009, Portland, Oregon, USA, 9-10 June 2009. pages 114-121, IEEE Computer Society, 2009. [doi]
Abstract is missing.