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: 190
INDEX TERMS
CITATION

M. Büchi, "The B Bank: A Complete Case Study," Formal Engineering Methods, International Conference on(ICFEM), Brisbane, Australia, 1998, pp. 190.
doi:10.1109/ICFEM.1998.730583
79 ms
(Ver 3.3 (11022016))