Unifying theories of healthiness condition.

Jifeng He, C. A. R. Hoare

Browse the full APSEC paper archive.