Inductive invariant checking with partial negative application conditionsJohannes DyckÉpuiséPrévenez-moi
Automatic verification of behavior preservation at the transformation level for relational model transformationJohannes DyckÉpuiséPrévenez-moi
