Andrew W Appel. (2014). Program Logics for Certified Compilers. CUP.
Style de citation ChicagoAndrew W Appel. Program Logics for Certified Compilers. CUP, 2014.
Style de citation MLAAndrew W Appel. Program Logics for Certified Compilers. CUP, 2014.
Attention : ces citations peuvent ne pas être correctes à 100%.