TY  - DATA
AU  - Bert Didier
TI  - B'98: Recent Advances in the Development and Use of the B Method
SN  - 9783540697695
PY  - 1998///
PB  - Springer Berlin Heidelberg
KW  - Computer Science
UR  - https://doi.org/10.1007/BFb0053349
ER  -