Incorporating Data Dependencies and Properties in Difference Verification with Conditions (Technical Report).

Published in: CoRR (2023)

Keyphrases