IV Higher Order Workshop, Banff 1990: Proceedings of the IV Higher Order Workshop, Banff, Alberta, Canada 10–14 September 1990

Current Trends in Hardware Verification and Automated Theorem Proving