Formal methods into practice: case studies in the application of the B method - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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.

This author has not been identified. It may be one of the following persons:

Juan Bicarregui

Look up 'Juan Bicarregui' in GoogleThis author has not been identified. Look up 'D. L. Clutterbuck' in GoogleThis author has not been identified. Look up 'Gavin R. Finnie' in GoogleThis author has not been identified. Look up 'Howard P. Haughton' in GoogleThis author has not been identified. Look up 'Kevin Lano' in GoogleThis author has not been identified. Look up 'H. Lesan' in GoogleThis author has not been identified. Look up 'D. W. R. M. Marsh' in GoogleThis author has not been identified. It may be one of the following persons:

Brian M. Matthews

Look up 'B. M. Matthews' in GoogleThis author has not been identified. Look up 'Michael R. Moulding' in GoogleThis author has not been identified. Look up 'A. Richard Newton' in GoogleThis author has not been identified. Look up 'Brian Ritchie' in GoogleThis author has not been identified. Look up 'T. G. A. Rushton' in GoogleThis author has not been identified. Look up 'P. N. Scharbach' in Google

runs on WebDSL