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

Marie-Christine Jakobs, Tim Pollandt

Browse the full IFM paper archive.