Compiler Verification (1992)

by F Pfenning, J Hannan
Venue:in LF. Seventh Annual Symposium on Logic in Computer Science