Inductive invariant checking with partial negative application conditionsJohannes DyckAusverkauftBuch bewachen
Automatic verification of behavior preservation at the transformation level for relational model transformationJohannes DyckAusverkauftBuch bewachen
