Modular verification of SRT division (1996)

by H Ruess, M K Srivas, N Shankar
Venue:Computer-Aided Verification, CAV '96, Lecture Notes in Computer Science