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: null
INDEX TERMS
null
CITATION

"The Future of Formal Methods: Verification, Error Detection, or What?," Formal Engineering Methods, International Conference on(ICFEM), Hiroshima, JAPAN, 1997, pp. null.
doi:UNKNOWN
89 ms
(Ver 3.3 (11022016))