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