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