"Principles of Program Analysis" von Chris Hankin ist ein umfassendes Werk, das sich mit den theoretischen und praktischen Aspekten der Programmanalyse befasst. Das Buch bietet eine systematische Einführung in die grundlegenden Techniken...