Automatic Constrained Rewriting Induction towards Verifying Procedural Programs.

Cynthia Kop, Naoki Nishida

Browse the full APLAS paper archive.