DocumentCode
1577985
Title
Are formal methods relevant?
Author
Hayes, Ian ; Araki, Keijiro ; Duke, David ; Veraart, Val
fYear
1995
Firstpage
513
Keywords
Computer languages; Computer science; Database systems; Formal verification; Information science; Mathematical model; Relational databases; User interfaces; Writing;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering Conference, 1995. Proceedings., 1995 Asia Pacific
Conference_Location
Brisbane, Queensland, Australia
Print_ISBN
0-8186-7171-8
Type
conf
DOI
10.1109/APSEC.1995.497003
Filename
497003
Link To Document