Verifying the SRT Division Algorithm Using Theorem Proving Techniques.

Edmund M. Clarke Steven M. German Xudong Zhao Verifying the SRT Division Algorithm Using Theorem Proving Techniques. 7-44 1999 14 Formal Methods in System Design 1 db/journals/fmsd/fmsd14.html#ClarkeGZ99