Symbolic analysis of imperative programming languages

Bernd Burgstaller, Bernhard Scliolz, Johann Blieberger

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

6 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Symbolic analysis of imperative programming languages'. Together they form a unique fingerprint.

Computer Science