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 :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=776800
