Constructing Correct Circuits: Verification of Functional Aspects of Hardware Specifications with Dependent Types

Edwin Charles Brady, James Hugh McKinna, Kevin Hammond

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationTrends in Functional Programming
PublisherIntellect Books
Pages159-176
Volume8
ISBN (Print)9781841501963
Publication statusPublished - 2008

Cite this