ePrints

Discussion on the ideal of program - Correctness By Tony Hoare

Lookup NU author(s): Emeritus Professor Cliff JonesORCiD

Downloads

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.

Publication metadata

Author(s): Josephs MB, Jones C, Jackson M, Turner A, Holcombe M, Sharman G, Luo ZH, Lloyd M, Haworth G, Tully C, Crocker D

Publication type: Article

Publication status: Published

Journal: The Computer Journal

Year: 2007

Volume: 50

Issue: 3

Pages: 261-268

ISSN (print): 0010-4620

ISSN (electronic): 1460-2067

Publisher: Oxford University Press

URL: http://dx.doi.org/10.1093/comjnl/bxl079

DOI: 10.1093/comjnl/bxl079

Altmetrics

Share