## Edmund M. Clarke, Steven M. German, Xudong Zhao

*Verifying the SRT Division Algorithm Using Theorem Proving Techniques*

CAV, 1996.

@inproceedings{CAV-1996-ClarkeGZ, author = "Edmund M. Clarke and Steven M. German and Xudong Zhao", booktitle = "{Proceedings of the Eighth International Conference on Computer Aided Verification}", doi = "10.1007/3-540-61474-5_62", isbn = "3-540-61474-5", pages = "111--122", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Verifying the SRT Division Algorithm Using Theorem Proving Techniques}", volume = 1102, year = 1996, }