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
Martin Büchi, "The B Bank: A Complete Case Study", Formal Engineering Methods, International Conference on, vol. 00, no. , pp. 190, 1998, doi:10.1109/ICFEM.1998.730583
82 ms
(Ver 3.3 (11022016))