You are here: TUCS > PUBLICATIONS > Publication Search > The B Bank
- TUCS Publication Series
- How to Publish in TUCS Series
- Publication Search
- Publication Graph
- Publication Input
- Publication Input Guide
- JuFo Browser
The B Bank
Martin Büchi, The B Bank. In: Program Development by Refinement: Case Studies Using the B Method, FACIT, 115-180, Springer Verlag, 1998.
Abstract:
http://www.tucs.fi/Publications/chapters/cBuechi98a.php
BibTeX entry:
@INBOOK{cBuechi98a,
title = {The B Bank},
booktitle = {Program Development by Refinement: Case Studies Using the B Method},
author = {Büchi, Martin},
series = {FACIT},
publisher = {Springer Verlag},
pages = {115-180},
year = {1998},
}