Formal Specification and Verification in VLSI Design

• Authors:

• Bruce S. Davie

• Affiliations:

• -

• Venue:
• Formal Specification and Verification in VLSI Design
• Year:
• 1991