DocumentCode

3341966

Title

Whither Formal Methods: A Plea To Investigate New Applications

Author

Jones, Cliff B.

Author_Institution

University of Manchester, UK

fYear

1997

fDate

12-14 Nov. 1997

Firstpage

5

Lastpage

5

Keywords

Application software; Computer applications; Java; Robot control; Virtual reality;

fLanguage

English

Publisher

ieee

Conference_Titel

Formal Engineering Methods., 1997. Proceedings., First IEEE International Conference on

Conference_Location

Hiroshima, Japan

Print_ISBN

0-8186-8002-4

Type

conf

DOI

10.1109/ICFEM.1997.630391

Filename

630391