B'98: Recent advances in the development and use of the B method
: Second International B Conference, Montpellier, France, April 22 - 24, 1998; proceedings
You can manage bookmarks using lists, please log in to your user account for this.
Media type:
Book;
Conference Proceedings
Title:
B'98: Recent advances in the development and use of the B method
:
Second International B Conference, Montpellier, France, April 22 - 24, 1998; proceedings