DMCA
Towards Verifying Procedural Programs using Constrained Rewriting Induction?
by
Cynthia Kop
,
Naoki Nishida