Appel, A. W. Program logics for certified compilers.
Chicago Stili AlıntıAppel, Andrew W. Program Logics for Certified Compilers.
MLA AlıntıAppel, Andrew W. Program Logics for Certified Compilers.
Uyarı: Bu alıntı herzaman %100 doğru olmayabilir..
APA Alıntı