J.V.: Experience with embedding hardware description languages (0)

by R J Boulton, A D Gordon, M J C Gordon, J Harrison, J Herbert, Tassel
Venue:in HOL. In: International Conference on Theorem Provers in Circuit Design (TPCD