Accessibility navigation


Discussion on the ideal of program-correctness by Tony Hoare

Josephs, M. B., Jones, C., Jackson, M., Turner, A., Holcombe, M., Sharman, G., Luo, Z. H., Lloyd, M., Haworth, G. M., Tully, C. and Crocker, D. (2007) Discussion on the ideal of program-correctness by Tony Hoare. Computer Journal, 50 (3). pp. 261-268. ISSN 0010-4620

[img]
Preview
Text - Published Version
· Please see our End User Agreement before downloading.

443kB

It is advisable to refer to the publisher's version if you intend to cite from this work. See Guidance on citing.

To link to this item DOI: 10.1093/comjnl/bxl079


Item Type:Article
Refereed:Yes
Divisions:Faculty of Science
ID Code:15296
Publisher:Oxford University Press

Downloads

Downloads per month over past year

University Staff: Request a correction | Centaur Editors: Update this record

Page navigation