Hélène Waeselynck. Specification in B: An Introduction Using the B Toolkit, by Kevin Lano and Howard Haughton, Imperial College Press, distributed by World Scientific Publishing, 1996 (Book Review). Softw. Test., Verif. Reliab., 7(2):129-130, 1997.
@article{Waeselynck97, title = {Specification in B: An Introduction Using the B Toolkit, by Kevin Lano and Howard Haughton, Imperial College Press, distributed by World Scientific Publishing, 1996 (Book Review)}, author = {Hélène Waeselynck}, year = {1997}, tags = {reviewing}, researchr = {https://researchr.org/publication/Waeselynck97}, cites = {0}, citedby = {0}, journal = {Softw. Test., Verif. Reliab.}, volume = {7}, number = {2}, pages = {129-130}, }