Higher Order Logic and Hardware Verification

Thomas F. Melham. Higher Order Logic and Hardware Verification. Volume 31 of Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, 1993.

Abstract

Abstract is missing.