Formalizing Abstraction Mechanisms for Hardware Verification in Higher Order Logic (1990)

by Thomas Melham