Static analysis of software
Subtitle: the abstract interpretation
By: edited by Jean-Louis Boulanger
Publisher: Wiley
Published: 2011
Place of publication: Hoboken, NJ
Language: eng
ISBN-13: 9781848213203
Subjects: Debugging in computer science; Quality control; Testing; Computer software
Notes: Includes bibliographical references and index.