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