Conference
Higher Order Logic Theorem Proving and its Applications. 6th International Workshop Proceedings; 11-13 August1993; Vancouver, BC
Title
Degrees of formality in shallow embedding hardware description languages in HOL
Publication type
Proceedings paper
