diffDP: Using Data Dependencies and Properties in Difference Verification with Conditions.

Published in: iFM (2023)

Keyphrases