The Community for Technology Leaders
Green Image
Issue No. 02 - April-June (1984 vol. 6)
ISSN: 1058-6180
pp: 139-143
ABSTRACT
<p>The paper reproduces, with typographical corrections and comments, a 1949 paper by Alan Turing that foreshadows much subsequent work in program proving.</p>
INDEX TERMS
CITATION

F. Morris and C. Jones, "An Early Program Proof by Alan Turing," in IEEE Annals of the History of Computing, vol. 6, no. , pp. 139-143, 1984.
doi:10.1109/MAHC.1984.10017
81 ms
(Ver 3.3 (11022016))