Static analysis of software the abstract interpretation - Boulanger, Jean-Louis.; ebrary, Inc. (Hoboken, N.J. : Wiley, 2012)
Includes bibliographical references and index.
Electronic reproduction.
Keywords: Computer software -- Testing; Debugging in computer science; Computer software -- Quality control; Electronic books