REST: Integrating Term Rewriting with Program Verification.

Zachary Grannan, Niki Vazou, Eva Darulova, Alexander J. Summers

Browse the full ECOOP paper archive.