Formal Methods in System Design, Volume 3
Volume 3, Number 1/2, 1993
Special Issue on Higher Order Logic Theorem Proving and its Applications I
Thomas F. Melham:
The HOL Logic Extended with Quantification over Type Variables. 7-24 Paul Curzon:
Deriving Correctness Properties of Compiled Code. 83-115 Paul Loewenstein:
A Formal Theory of Simulations between Infinite Automata. 117-149
Special Issue on Designing Correct Circuits
maintained by

at
