diffDP: Using Data Dependencies and Properties in Difference Verification with Conditions. - Marie-Christine Jakobs; Tim Pollandt (iFM, 2023)

Incorporating Data Dependencies and Properties in Difference Verification with Conditions (Technical Report). - Marie-Christine Jakobs; Tim Pollandt (CoRR, 2023)