Automated Theorem Prover Assisted Program Calculations.

Dipak L. Chaudhari, Om P. Damani

Browse the full IFM paper archive.