Static Analysis of Pointer Programs - Linking Graph Grammars and Separation Logic

Aachen (2017) [Doktorarbeit]

Seite(n): 1 Online-Ressource (xi, 286 Seiten) : Diagramme

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

Jansen, Christina

Identifikationsnummern

  • REPORT NUMBER: RWTH-2017-09657