Another Approach for Proving Program Correctness.

Peter A. Ng, Sung Y. Bang

Browse the full MFCS paper archive.