Principles of Program Analysis


Flemming Nielson, Hanne Riis Nielson, Chris Hankin: Principles of Program Analysis.

Springer (Corrected 2nd printing, 452 pages, ISBN 3-540-65410-0), 2005.

Follow this link for supplementary material.