## Formal verification of IA-64 division algorithms (2000)

by
John Harrison

Venue: | Proceedings, Theorem Proving in Higher Order Logics (TPHOLs), LNCS 1869 |

Citations: | 18 - 4 self |