Theorem Proving in Higher Order Logics: 17th International ...
Preview
Distributed Algorithms. Morgan Kaufmann, 1996. Thomas F. Melham. Abstraction mechanisms for hardware verification. In G. Birtwistle and P.A. Subrahmanyam, editors, VLSI Specification, Verification, and Synthesis, pages 129–157, Boston, ...