Search from over 60,000 research works

Advanced Search

Discussion on the ideal of program-correctness by Tony Hoare

Lists
Download
[thumbnail of 2007c_CJ_50-3_CARH_Program_Correctness (1).pdf]
Preview
2007c_CJ_50-3_CARH_Program_Correctness (1).pdf - Published Version (443kB) | Preview
Tools
Add to AnyAdd to TwitterAdd to FacebookAdd to LinkedinAdd to PinterestAdd to Email

Josephs, M. B., Jones, C., Jackson, M., Turner, A., Holcombe, M., Sharman, G., Luo, Z. H., Lloyd, M., Haworth, G. M. orcid id iconORCID: 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 doi: 10.1093/comjnl/bxl079

Altmetric Badge

Item Type Article
URI https://reading-clone.eprints-hosting.org/id/eprint/15296
Item Type Article
Refereed Yes
Divisions Science
Publisher Oxford University Press
Download/View statistics View download statistics for this item
Download Statistics

Downloads

Downloads per month over past year

Deposit Details

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

Search Google Scholar