Compiler Verification in LF (1992)

Cached

Download Links

by John Hannan , Frank Pfenning
Venue:Seventh Annual IEEE Symposium on Logic in Computer Science
Citations:41 - 11 self