A case study on design for provability.

Paul Curzon, Ian M. Leslie

Browse the full ICECCS paper archive.