Functional Programming for Hardware Definition, Verification and Modelling

In  Hardware Design and Functional Languages

Details

TypeInproceedings
> Publications > Functional Programming for Hardware Definition, Verification and Modelling