Formal verification of IA-64 division algorithms (2000)

by J Harrison
Venue:Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2000, volume 1869 of Lecture Notes in Computer Science