Some Classes of Naturally Provable Programs.

Sanat K. Basu, Jayadev Misra

Browse the full ICSE paper archive.