Verification of a Multiplier: 64 Bits and beyond (1993)

by R.P. Kurshan , Leslie Lamport
Citations:37 - 6 self