Degrees of Formality in Shallow Embedding Hardware Description Languages in HOL
['Catia Marcondes Angelo', 'Luc Claesen', 'Hugo De Man']
Degrees of Formality in Shallow Embedding Hardware Description Languages in HOL