HOME | ENGLISH | IMPRESSUM | KIT

Sonstiges: Combining Graph-Based and Deduction-Based Information-Flow Analysis

[beckert17hotspot]Bernhard Beckert, Simon Bischof, Mihai Herda, Michael Kirsten, Marko Kleine Büning, Combining Graph-Based and Deduction-Based Information-Flow Analysis, 2017.

Download

  [PDF]

BibTeX

Institutsinterne Autoren

Wissenschaftliche Mitarbeiter
Simon Bischof

Projekte

Projekt
IFC for Mobile Components
VALSOFT/Joana