TY  - RPRT
TI  - Incorporating Data Dependencies and Properties in Difference Verification with Conditions (Technical Report)
AU  - Marie-Christine Jakobs
AU  - Tim Pollandt
PY  - 2023
UR  - https://arxiv.org/abs/2309.01585
ID  - 2309.01585
ER  -