@Book{1737234459,
author="Cousot, Patrick",
title="Principles of abstract interpretation",
year="2021",
publisher="The MIT Press",
address="Cambridge, Massachusetts",
keywords="Semantic computing; Abstract data types (Computer science)",
abstract="``An introduction to the theory and practice of abstract interpretation, with applications to the semantics, specification, verification, and static analysis of computer programs''",
note="Patrick Cousot",
note="Literaturverzeichnis: Seiten 725-777",
isbn="9780262044905",
language="English"
}