You are here: TUCS > PUBLICATIONS > Publication Search > Container Station
Container Station
Elena Troubitsyna, Container Station. In: Program Development by Refinement - Case Studies Using the B Method, FACIT, 39-78, Springer Verlag, 1998.
Abstract:
http://www.tucs.fi/Publications/chapters/cTroubitsyna98a.php
BibTeX entry:
@INBOOK{cTroubitsyna98a,
title = {Container Station},
booktitle = {Program Development by Refinement - Case Studies Using the B Method},
author = {Troubitsyna, Elena},
series = {FACIT},
publisher = {Springer Verlag},
pages = {39-78},
year = {1998},
}