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

by E M Clarke, S M German, X Zhao
Venue:In CAV’96, volume 1102 of LNCS