Cita APA

Andrew W Appel. (2014). Program Logics for Certified Compilers. CUP.

Citación estilo Chicago

Andrew W Appel. Program Logics for Certified Compilers. CUP, 2014.

Cita MLA

Andrew W Appel. Program Logics for Certified Compilers. CUP, 2014.

Precaución: Estas citas no son 100% exactas.