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

Wolfgang Ahrendt, Andreas Roth, Ralf Sasse

Browse the full LPAR paper archive.