Report copyright - Local Reasoning for Global Graph Propertiessiddharth/pubs/2020-esop-flows.pdf · on this theory, we develop a general proof technique for modular reasoning about global graph properties
Please pass captcha verification before submit form