Secure programming with static analysis - Chess, Brian; West, Jacob (Upper Saddle River, NJ. : Addison-Wesley, 2007)
Includes bibliographical references and index.
Keywords: Computer security; Computer software -- -- Quality control; Debugging in computer science