Appel, A. W. Program logics for certified compilers.
Chicago Edition CitationAppel, Andrew W. Program Logics for Certified Compilers.
MLA Edition CitationAppel, Andrew W. Program Logics for Certified Compilers.
Warning: These citations may not always be 100% accurate.