DocumentCode :
2778989
Title :
Disappearing formal methods*
Author :
Rushby, John
Author_Institution :
SRI International
fYear :
2000
fDate :
2000
Firstpage :
95
Lastpage :
96
Keywords :
Analytical models; Books; Computer interfaces; Computer science; Debugging; Formal specifications; Innovation management; Laboratories; Software engineering; Technological innovation;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
High Assurance Systems Engineering, 2000, Fifth IEEE International Symposim on. HASE 2000
Print_ISBN :
0-7695-0927-4
Type :
conf
DOI :
10.1109/HASE.2000.895446
Filename :
895446
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2778989
