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

by E M Clarke, S M German, X Zhao
Venue:In 8th Int. Conf. Computer-Aided Verification, CAV '96, Lect. Notes Comput. Sci. no. 1102