Static analysis of software the abstract interpretation - Boulanger, Jean-Louis. (Hoboken, N.J. : Wiley, 2012)
Includes bibliographical references and index.
Description based on metadata supplied by the publisher and other sources.
Electronic reproduction. Santa Fe, Arg.: elibro, 2022. Available via World Wide Web. Access may be limited to eLibro affiliated libraries.
Keywords: Computer software -- Testing; Debugging in computer science; Computer software -- Quality control; Electronic books