Trustworthy compilers
By: Vladimir O. Safonov
Series: Wiley series on quantitative software engineering; Quantitative software engineering series
Publisher: John Wiley & Sons
Published: 2010
Place of publication: Hoboken, N.J
Language: eng
Number of pages: 295
ISBN-13: 9780470500958
Notes: Includes bibliographical references and index.