1 search results - page 1 / 1 » tpcd 1994 |
TPCD
1994
13 years 7 months ago
1994
Theorem proving techniques are particularly well suited for reasoning about arithmetic above the bit level and for relating di erent f abstraction. In this paper we show how a non-...