Trustworthy compilers /

Bibliographic Details

Main Author:	Safonov, V. O. (Vladimir Olegovich)
Format:	Book
Language:	English
Published:	Hoboken, N.J. : John Wiley & Sons, [2010]
Series:	Quantitative software engineering series.
Subjects:	Compilers (Computer programs) Interpreters (Computer programs)