D. L. Clutterbuck

Publication Activity (10 Years)

Years Active: 1988-1997
Publications (10 Years): 0

University of Southampton, UK (PHD)

Education History

University of Southampton, UK

PHD

Publications

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 Proc. Softw. Eng. 144 (2) (1997)
Brian A. Wichmann, A. A. Canning, D. L. Clutterbuck, L. A. Winsborrow, N. J. Ward, D. William R. Marsh
Industrial perspective on static analysis. Softw. Eng. J. 10 (2) (1995)
D. L. Clutterbuck, B. A. Carré
The verification of low-level code. Softw. Eng. J. 3 (3) (1988)