Title :
Are formal methods relevant?
Author :
Hayes, Ian ; Araki, Keijiro ; Duke, David ; Veraart, Val
Keywords :
Computer languages; Computer science; Database systems; Formal verification; Information science; Mathematical model; Relational databases; User interfaces; Writing;
Conference_Titel :
Software Engineering Conference, 1995. Proceedings., 1995 Asia Pacific
Conference_Location :
Brisbane, Queensland, Australia
Print_ISBN :
0-8186-7171-8
DOI :
10.1109/APSEC.1995.497003
