Static analysis of software
Static analysis of software the abstract interpretation / [electronic resource] :
edited by Jean-Louis Boulanger.
- Hoboken, N.J. : Wiley, 2012.
- xiv, 331 p. : ill.
Includes bibliographical references and index.
Electronic reproduction.
Palo Alto, Calif. :
ebrary,
2015.
Available via World Wide Web.
Access may be limited to ebrary affiliated libraries.
Computer software--Testing.
Debugging in computer science.
Computer software--Quality control.
Electronic books.
QA76.76.T48 / S75 2012eb
005.1/4
Includes bibliographical references and index.
Electronic reproduction.
Palo Alto, Calif. :
ebrary,
2015.
Available via World Wide Web.
Access may be limited to ebrary affiliated libraries.
Computer software--Testing.
Debugging in computer science.
Computer software--Quality control.
Electronic books.
QA76.76.T48 / S75 2012eb
005.1/4