Show simple item record

Degrees of formality in shallow embedding hardware description languages in HOL

dc.contributor.authorAngelo, Catia Marcondes
dc.contributor.authorClaesen, Luc
dc.contributor.authorDe Man, Hugo
dc.date.accessioned2021-09-29T12:39:40Z
dc.date.available2021-09-29T12:39:40Z
dc.date.issued1994
dc.identifier.urihttps://imec-publications.be/handle/20.500.12860/15
dc.sourceIIOimport
dc.titleDegrees of formality in shallow embedding hardware description languages in HOL
dc.typeProceedings paper
dc.contributor.imecauthorDe Man, Hugo
dc.source.peerreviewno
dc.source.beginpage89
dc.source.endpage100
dc.source.conferenceHigher Order Logic Theorem Proving and its Applications. 6th International Workshop Proceedings; 11-13 August1993; Vancouver, BC
imec.availabilityPublished - imec


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following collection(s)

Show simple item record