The Community for Technology Leaders
Formal Engineering Methods, International Conference on (1998)
Brisbane, Australia
Dec. 9, 1998 to Dec. 11, 1998
ISBN: 0-8186-9198-0
pp: i
INDEX TERMS
formal specification, specification languages, parallel processing, program verification, real-time systems, program testing, object-oriented programming
CITATION

"Proceedings Second International Conference on Formal Engineering Methods (Cat.No.98EX241)," Formal Engineering Methods, International Conference on(ICFEM), Brisbane, Australia, , pp. i.
doi:10.1109/ICFEM.1998.730562
81 ms
(Ver 3.3 (11022016))