Static analysis of software : the abstract interpretation /
Boulanger, Jean-Louis.
London : ISTE/Wiley,
2012.
Includes bibliographical references and index.
Computer software
Debugging in computer science.
Computer software