202 followers
Incorrectness Logic for Graph Programs https://t.co/iUcM5EToe9
Incorrectness Logic for Graph Programs https://t.co/iUcM5EToe9
Graph Rewriting and Relabeling with PBPO+ https://t.co/1UEyWpsXSh
Graph Rewriting and Relabeling with PBPO+ https://t.co/JnvnXFLrls
Graph Rewriting and Relabeling with PBPO+ (Extended Version) https://t.co/1UEyWpsXSh