TY  - BOOK
AU  - Safonov,Vladimir O.
TI  - Trustworthy compilers
T2  - Wiley series on quantitative software engineering
SN  - 9780470500958 (hbk.)
PY  - 2010///
CY  - Hoboken, N.J.
PB  - John Wiley & Sons
KW  - Compilers (Computer programs)
KW  - Interpreters (Computer programs)
N1  - lncludes index; Includes bibliographical references
ER  -