The B Bank: A Complete Case Study

Authors:
Martin Büchi
Affiliations:
-
Venue:
ICFEM '98 Proceedings of the Second IEEE International Conference on Formal Engineering Methods
Year:
1998

Citing 0
Cited 1

Structural Embeddings: Mechanization with Method

FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I

Quantified Score

Hi-index	0.00

Visualization

Abstract