TY  - GEN
AU  - Appel, Andrew W...[et.al]
AU  - Dock, Robert
AU  - Hobor, Aquinas
AU  - Beringer, Lennart
TI  - Program logics for certified compilers
SN  - 9781107048010
PY  - 2014///
CY  - New York
PB  - Cambridge University Press
KW  - Logic symbolic and mathematical
KW  - Compilers (Computer programs)
KW  - Computer software - Verification
KW  - CompCert verified C compiler
ER  -