Fingerprint
Dive into the research topics of 'Program logics for certified compilers'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Program logics for certified compilers
Andrew W. Appel, Robert Dockins, Aquinas Hobor, Lennart Beringer, Josiah Dodds, Gordon Stewart, Sandrine Blazy, Xavier Leroy
Research output: Book/Report › Book
155
Scopus
citations