The Community for Technology Leaders
RSS Icon
Issue No.02 - April-June (1984 vol.6)
pp: 139-143
<p>The paper reproduces, with typographical corrections and comments, a 1949 paper by Alan Turing that foreshadows much subsequent work in program proving.</p>
F.L. Morris, C.B. Jones, "An Early Program Proof by Alan Turing", IEEE Annals of the History of Computing, vol.6, no. 2, pp. 139-143, April-June 1984, doi:10.1109/MAHC.1984.10017
16 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool