pdf-format: |
|
@Article{azizabdulla_et_al:DR:2016:5761, author = {Parosh Aziz Abdulla and Fabio Gadducci and Barbara K{\"o}nig and Viktor Vafeiadis}, title = {{Verification of Evolving Graph Structures (Dagstuhl Seminar 15451)}}, pages = {1--28}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2016}, volume = {5}, number = {11}, editor = {Parosh Aziz Abdulla and Fabio Gadducci and Barbara K{\"o}nig and Viktor Vafeiadis}, publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2016/5761}, URN = {urn:nbn:de:0030-drops-57614}, doi = {10.4230/DagRep.5.11.1}, annote = {Keywords: dynamic systems, graph transformation, graphs, heap analysis, separation logic, shape analysis, static analysis, verification} }
Keywords: | dynamic systems, graph transformation, graphs, heap analysis, separation logic, shape analysis, static analysis, verification | |
Seminar: | Dagstuhl Reports, Volume 5, Issue 11 | |
Issue date: | 2016 | |
Date of publication: | 11.03.2016 |