Statische Programmanalyse: Wrap-Up (Di, 31.01.2017)

Anmeldung erforderlich

Benutzername/Passwort

RWTH

Für RWTH-Angehörige und aus dem RWTH-Netz verfügbar

Anmelden
  • Einbetten

Beschreibung:

Interprocedural DFA
Pointer Analysis