Higher Order Logic and Hardware Verification

Схожие документы

• Hardware Verification using Higher−Order Logic
  по: Camilleri, A, и др.
  Опубликовано: (1986)
• Hardware Verification using Higher−Order Logic
  по: Camilleri, A, и др.
  Опубликовано: (1987)
• Formalizing Abstraction Mechanisms for Hardware Verification in Higher Order Logic
  по: Melham, T
  Опубликовано: (1989)
• Using Recursive Types to Reason about Hardware in Higher Order Logic
  по: Melham, T
  Опубликовано: (1988)
• Using Recursive Types to Reason about Hardware in Higher Order Logic
  по: Melham, T
  Опубликовано: (1988)