Dependent types and formal (1992)

by F K Hanna, N Daeche
Venue:Synthesis, in Mechanised Reasoning and Hardware Design