Title :
Whither Formal Methods: A Plea To Investigate New Applications
Author_Institution :
University of Manchester, UK
Keywords :
Application software; Computer applications; Java; Robot control; Virtual reality;
Conference_Titel :
Formal Engineering Methods., 1997. Proceedings., First IEEE International Conference on
Conference_Location :
Hiroshima, Japan
Print_ISBN :
0-8186-8002-4
DOI :
10.1109/ICFEM.1997.630391