The Community for Technology Leaders
Formal Engineering Methods, International Conference on (2000)
York, England
Sept. 4, 2000 to Sept. 7, 2000
ISBN: 0-7695-0822-7
pp: 153
INDEX TERMS
CITATION

"Offering Formal Verification Capabilities for Industry Standard Case Tools: Challenges and Results," Formal Engineering Methods, International Conference on(ICFEM), York, England, 2000, pp. 153.
doi:10.1109/ICFEM.2000.10003
81 ms
(Ver 3.3 (11022016))