• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

The B Bank: A Complete Case Study

Martin Büchi, The B Bank: A Complete Case Study. In: Second Internation Conference on Formal Engineering Methods 1998, 190-199, IEEE Press, 1998.

Abstract:

http://www.tucs.fi/Publications/proceedings/pBuchi98a.php

Files:

Full publication in PDF-format

BibTeX entry:

@INPROCEEDINGS{pBuchi98a,
  title = {The B Bank: A Complete Case Study},
  booktitle = {Second Internation Conference on Formal Engineering Methods 1998},
  author = {Büchi, Martin},
  publisher = {IEEE Press},
  pages = {190-199},
  year = {1998},
  keywords = {B case study, integration of structured and formal methods, object-oriented analysis, banking application, refinement, use of tools, Web-based interface},
}

Edit publication