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.
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
Download Statistics DownloadsDownloads per month over past year Deposit Details University Staff: Request a correction | Centaur Editors: Update this record |
Lists
Lists
