Dyfyniad APA

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

Dyfyniad Arddull Chicago

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

Dyfyniad MLA

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

Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.