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

Volume 3, Number 3, 1993

Special Issue on Designing Correct Circuits