Andrew W Appel. (2014). Program Logics for Certified Compilers. CUP.
Chicago Edition CitationAndrew W Appel. Program Logics for Certified Compilers. CUP, 2014.
MLA Edition CitationAndrew W Appel. Program Logics for Certified Compilers. CUP, 2014.
Warning: These citations may not always be 100% accurate.