(1998). B'98: Recent advances in the development and use of the B method : second International B Conference, Montpellier, France, April 22-24, 1998 : proceedings / Didier Bert (ed.).
Dyfyniad Arddull ChicagoB'98: Recent Advances in the Development and Use of the B Method : Second International B Conference, Montpellier, France, April 22-24, 1998 : Proceedings / Didier Bert (ed.). 1998.
Dyfyniad MLAB'98: Recent Advances in the Development and Use of the B Method : Second International B Conference, Montpellier, France, April 22-24, 1998 : Proceedings / Didier Bert (ed.). 1998.
Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.