Fingerprint
Dive into the research topics of 'Constructing Correct Circuits: Verification of Functional Aspects of Hardware Specifications with Dependent Types'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Constructing Correct Circuits: Verification of Functional Aspects of Hardware Specifications with Dependent Types
Edwin Brady, James McKinna, Kevin Hammond
Research output: Contribution to conference › Paper › peer-review