Lightweight Support for Magic Wands in an Automatic Verifier.

Malte Schwerhoff, Alexander J. Summers

Browse the full ECOOP paper archive.