TY  - RPRT
TI  - Relational Verification via Invariant-Guided Synchronization
AU  - Qi Zhou
AU  - David Heath
AU  - William Harris
PY  - 2019
DO  - 10.4204/eptcs.296.6
UR  - https://arxiv.org/abs/1907.03997
ID  - 1907.03997
ER  -