Edmund M. Clarke, Steven M. German, Xudong Zhao. Verifying the SRT Division Algorithm Using Theorem Proving Techniques. Formal Methods in System Design, 14(1):7-44, 1999.
No references recorded for this publication.
No citations of this publication recorded.