A Reflective Functional Language for Hardware Design and Theorem Proving

Détails bibliographiques
Auteurs principaux: Grundy, J, Melham, T, O'Leary, J
Format: Journal article
Publié: 2006