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: 176
John Rushby , SRI International
INDEX TERMS
CITATION

J. Rushby, "Ubiquitous Abstraction: A New Approach to Mechanized Formal Verification," Formal Engineering Methods, International Conference on(ICFEM), Brisbane, Australia, 1998, pp. 176.
doi:10.1109/ICFEM.1998.730581
94 ms
(Ver 3.3 (11022016))