author = { Krishna, Siddharth Summers, Alex J. AND Wies, Thomas },

title = { Local Reasoning for Global Graph Properties },

publisher = {European Joint Conferences on Theory and Practice of Software - ETAPS - e. V},

keywords = { Data Structures , Separation logic , Local reasoning , Flow framework , Graph algorithm },

year = {2021},

abstract = {Audiovisuelles Material},

address = { [Erscheinungsort nicht ermittelbar] },

url = { https://katalog.slub-dresden.de/en/?cHash=a8fa44d3bda0cb9d524c2f0ab6715df9&tx_find_find%5Baction%5D=citation&tx_find_find%5Bcontroller%5D=Search&tx_find_find%5Bid%5D=0-1821061926&tx_find_find%5Btype%5D=bibtex }