Record Beta
B
https://id.confref.org/data/confref-portal/event/b1998
This record is part of the confref event B'98: Recent Advances in the Development and Use of the B Method, Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings.
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.