Fingerprint
Dive into the research topics of 'Compiler verification in LF'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Compiler verification in LF
John Joseph Hannan, Frank Pfenning
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
43
Scopus
citations