TY -
GEN
AU - Krishna, Siddharth
AU - Summers, Alex J.
AU - Wies, Thomas
TI -
Local Reasoning for Global Graph Properties
PB - European Joint Conferences on Theory and Practice of Software - ETAPS - e. V
KW - Data Structures
KW - Separation logic
KW - Local reasoning
KW - Flow framework
KW - Graph algorithm
PY - 2021
N2 - Audiovisuelles Material
CY - [Erscheinungsort nicht ermittelbar]
UR - https://katalog.slub-dresden.de/en/?cHash=0bb8bd27a7fbde41cd02875a74ca0f3d&tx_find_find%5Baction%5D=citation&tx_find_find%5Bcontroller%5D=Search&tx_find_find%5Bid%5D=0-1821061926&tx_find_find%5Btype%5D=ris
ER -