Title: Degrees of formality in shallow embedding hardware description languages in HOL
Authors: Angelo, Catia Marcondes ×
Claesen, Luc
De Man, Hugo #
Issue Date: 1994
Host Document: pages:89-100
Conference: Higher Order Logic Theorem Proving and its Applications. 6th International Workshop Proceedings; 11-13 August1993; Vancouver, BC location:Leuven Belgium
Publication status: published
KU Leuven publication type: IC
Appears in Collections:Electrical Engineering - miscellaneous
× corresponding author
# (joint) last author

Files in This Item:

There are no files associated with this item.

Request a copy


All items in Lirias are protected by copyright, with all rights reserved.