A Functional HDL in ReFLect

Նմանատիպ նյութեր

• Flecting Osteotomy of the Distal Tibia for Salvage of an Asymmetric Osteoarthritic Ankle Joint
  ‌: Beat Hintermann MD, և այլն
  Հրապարակվել է: (2018-09-01)
• A Reflective Functional Language for Hardware Design and Theorem Proving
  ‌: Grundy, J, և այլն
  Հրապարակվել է: (2006)
• A Reflective Functional Language for Hardware Design and Theorem Proving
  ‌: Grundy, J, և այլն
  Հրապարակվել է: (2003)
• Xs Are for Trajectory Evaluation‚ Booleans Are for Theorem Proving
  ‌: Aagaard, M, և այլն
  Հրապարակվել է: (1999)
• Relational STE and Theorem Proving for Formal Verification of Industrial Circuit Designs
  ‌: O'Leary, J, և այլն
  Հրապարակվել է: (2013)