Verifying the SRT division algorithm using theorem proving techniques (1996)

by E M Clarke, S M German, X Zhao
Venue:In Rajeev Alur and Thomas A. Henzinger , editors, CAV, volume 1102 of LNCS