Andrew W Appel. (2014). Program Logics for Certified Compilers. CUP.
Styl ChicagoAndrew W Appel. Program Logics for Certified Compilers. CUP, 2014.
Citace podle MLAAndrew W Appel. Program Logics for Certified Compilers. CUP, 2014.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..