Veritas+: A Specification Language Based on Type Theory

• Authors:

• F. Keith Hanna;Neil Daeche;Mark Longley

• Affiliations:

• -;-;-

• Venue:
• Workshop on Hardware Specification, Verification and Synthesis: Mathematical Aspects
• Year:
• 1989