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: i
ABSTRACT
Presents the front cover of the proceedings.
INDEX TERMS
formal specification, formal verification
CITATION

"Proceedings First IEEE International Conference on Formal Engineering Methods," Formal Engineering Methods, International Conference on(ICFEM), Hiroshima, JAPAN, , pp. i.
doi:10.1109/ICFEM.1997.630385
87 ms
(Ver 3.3 (11022016))