A symbolic analysis framework for static analysis of imperative programming languages

Bernd Burgstaller, Bernhard Scholz, Johann Blieberger

Research output: Contribution to journalArticlepeer-review

7 Citations (Scopus)

Fingerprint

Dive into the research topics of 'A symbolic analysis framework for static analysis of imperative programming languages'. Together they form a unique fingerprint.

Engineering & Materials Science