Dependent Types and Formal Synthesis', in Mechanized Reasoning and Hardware Design, edited by (1992)

by F K Hanna, N Daeche
Venue:Prentice-Hall International Series in Computer Science, Prentice-Hall