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

Aachen (2017) [Dissertation / PhD Thesis]

Page(s): 1 Online-Ressource (xi, 286 Seiten) : Diagramme

Authors

Selected Authors

Jansen, Christina

Identifier

  • REPORT NUMBER: RWTH-2017-09657