Paul Curzon, I. M. Leslie. A case study on design for provability. In 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 95), November 6-10, 1995, Fort Lauderdale, Florida, USA. pages 59-62, IEEE Computer Society, 1995. [doi]
@inproceedings{CurzonL95,
title = {A case study on design for provability},
author = {Paul Curzon and I. M. Leslie},
year = {1995},
url = {http://csdl.computer.org/comp/proceedings/iceccs/1995/7123/00/71230059abs.htm},
tags = {case study, design},
researchr = {https://researchr.org/publication/CurzonL95},
cites = {0},
citedby = {0},
pages = {59-62},
booktitle = {1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 95), November 6-10, 1995, Fort Lauderdale, Florida, USA},
publisher = {IEEE Computer Society},
}