A Simple Program whose Derivation and Proof is Also.

Jinyun Xue, Ruth Davis

Browse the full ICFEM paper archive.