Veritas+: A Specification Language Based on Type Theory (1989)

by F K Hanna, N Daeche, M Longley
Venue:In Hardware Specification, Verification and Synthesis, LNCS