A Mechanically Verified Compiling Specification for a Realistic Compiler (2002)

by A. Dold , F. W. von Henke , V. Vialard , W. Goerigk
Citations:5 - 0 self