DocumentCode :
1063288
Title :
An Overview of Some Formal Methods for Program Design
Author :
Hoare, C.A.R.
Author_Institution :
Oxford University Computing Laboratory
Volume :
20
Issue :
9
fYear :
1987
Firstpage :
85
Lastpage :
91
Keywords :
Algebra; Algorithms; Arithmetic; Design engineering; Design methodology; Laboratories; Logic functions; Mathematics; Set theory; Software engineering;
fLanguage :
English
Journal_Title :
Computer
Publisher :
ieee
ISSN :
0018-9162
Type :
jour
DOI :
10.1109/MC.1987.1663697
Filename :
1663697
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=1063288
