Andrew W Appel. (2014). Program Logics for Certified Compilers. CUP.
シカゴスタイル引用形Andrew W Appel. Program Logics for Certified Compilers. CUP, 2014.
MLA引用形式Andrew W Appel. Program Logics for Certified Compilers. CUP, 2014.
警告: この引用は必ずしも正確ではありません.
APA引用形式