DocumentCode
776800
Title
An Invitation to Formal Methods
Author
Bowen, Jonathan P. ; Butler ; Dill, D.L. ; Glass, Robert L. ; Gries, D. ; Hall, Asha
Volume
29
Issue
4
fYear
1996
fDate
4/1/1996 12:00:00 AM
Firstpage
16
Keywords
Air traffic control; Application software; Computer industry; Costs; Industrial training; Software design; Software maintenance; Software reliability; Software systems; Software testing;
fLanguage
English
Journal_Title
Computer
Publisher
ieee
ISSN
0018-9162
Type
jour
DOI
10.1109/MC.1996.488298
Filename
488298
Link To Document