Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Formalizing Abstraction Mechanisms for Hardware Verification in Higher Order Logic

Formalizing Abstraction Mechanisms for Hardware Verification in Higher Order Logic

Thomas Frederick Melham

Month
August
School
University of Cambridge
Year
1989

Links

See Also

Back to Top