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.
No references recorded for this publication.
No citations of this publication recorded.