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