Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Using Recursive Types to Reason about Hardware in Higher Order Logic

Using Recursive Types to Reason about Hardware in Higher Order Logic

Thomas F. Melham

Institution
Computer Laboratory‚ University of Cambridge
Month
May
Number
135
Year
1988

Links

See Also

Back to Top