Juan Bicarregui, D. L. Clutterbuck, Gavin R. Finnie, Howard P. Haughton, Kevin Lano, H. Lesan, D. W. R. M. Marsh, B. M. Matthews, Michael R. Moulding, A. Richard Newton, Brian Ritchie, T. G. A. Rushton, P. N. Scharbach. Formal methods into practice: case studies in the application of the B method. IEE Proceedings - Software, 144(2):119-133, 1997.
No references recorded for this publication.
No citations of this publication recorded.