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