TY  - RPRT
TI  - Incorrectness Logic for Graph Programs
AU  - Christopher M. Poskitt
PY  - 2022
DO  - 10.1007/978-3-030-78946-6_5
UR  - https://arxiv.org/abs/2105.04501
ID  - 2105.04501
ER  -