Accessibility navigation

Discussion on the ideal of program-correctness by Tony Hoare

Lists
Tools

Josephs, M. B., Jones, C., Jackson, M., Turner, A., Holcombe, M., Sharman, G., Luo, Z. H., Lloyd, M., Haworth, G. M. ORCID: https://orcid.org/0000-0001-9896-1448, 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:Science
ID Code:15296
Publisher:Oxford University Press
Download Statistics

Downloads

Downloads per month over past year

Altmetric
Deposit Details

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

Page navigation

See also