Path-oriented program analysis /
Huang, J. C.,1935-
New York ; Cambridge : Cambridge University Press,
2008.
Includes bibliographical references (p. 191-193) and index.
Computer software
Computer software