%0 Generic
%T Local Reasoning for Global Graph Properties
%A Krishna, Siddharth
%A Summers, Alex J.
%A Wies, Thomas
%I European Joint Conferences on Theory and Practice of Software - ETAPS - e. V
%K Data Structures
%K Separation logic
%K Local reasoning
%K Flow framework
%K Graph algorithm
%D 2021
%X Audiovisuelles Material
%C European Joint Conferences on Theory and Practice of Software - ETAPS - e. V
%C [Erscheinungsort nicht ermittelbar]
%U https://katalog.slub-dresden.de/en/?cHash=d436d54d7a76fc6fe03d5b8c85ebf4cf&tx_find_find%5Baction%5D=citation&tx_find_find%5Bcontroller%5D=Search&tx_find_find%5Bid%5D=0-1821061926&tx_find_find%5Btype%5D=endnote
Download citation