The Community for Technology Leaders
Green Image
Issue No. 09 - September (1987 vol. 20)
ISSN: 0018-9162
pp: 85-91
C.A.R. Hoare , Oxford University Computing Laboratory
INDEX TERMS
null
CITATION
C.A.R. Hoare, "An Overview of Some Formal Methods for Program Design", Computer, vol. 20, no. , pp. 85-91, September 1987, doi:10.1109/MC.1987.1663697
80 ms
(Ver 3.1 (10032016))