TY  - BOOK
AU  - Safonov,V.O.
TI  - Trustworthy compilers
T2  - Wiley series on quantitative software engineering
SN  - 9780470500958 (cloth)
AV  - MED QA76.76.C65 S345 
PY  - 2010///
CY  - Hoboken, N.J.
PB  - John Wiley & Sons
KW  - Compilers (Computer programs)
KW  - Interpreters (Computer programs)
ER  -