Formal method integration via heterogeneous notations

Authors:
E. C. Hehner;Richard Freeman Paige
Affiliations:
-;-
Venue:
Formal method integration via heterogeneous notations
Year:
1997

Citing 0
Cited 1

Semantic Web for Extending and Linking Formalisms

FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right

Quantified Score

Hi-index	0.00

Visualization

Abstract