Automatic Validation of Transformation Rules for Java Verification Against a Rewriting Semantics.

Wolfgang Ahrendt Andreas Roth Ralf Sasse Automatic Validation of Transformation Rules for Java Verification Against a Rewriting Semantics. 412-426 2005 conf/lpar/2005 LPAR http://dx.doi.org/10.1007/11591191_29 db/conf/lpar/lpar2005.html#AhrendtRS05