The Community for Technology Leaders
Formal Engineering Methods, International Conference on (1997)
Hiroshima, JAPAN
Nov. 12, 1997 to Nov. 14, 1997
ISBN: 0-8186-8002-4
pp: 5
C.B. Jones , University of Manchester, UK
INDEX TERMS
Computer applications, Java, Virtual reality, Robot control, Application software
CITATION

C. Jones, "Whither Formal Methods: A Plea To Investigate New Applications," Formal Engineering Methods, International Conference on(ICFEM), Hiroshima, JAPAN, , pp. 5.
doi:10.1109/ICFEM.1997.630391
94 ms
(Ver 3.3 (11022016))