D. L. Clutterbuck

According to our database, D. L. Clutterbuck authored at least 4 papers between 1986 and 1997.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

1997

Formal methods into practice: case studies in the application of the B method.

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

IEE Proc. Softw. Eng., 1997

1995

Industrial perspective on static analysis.

Brian A. Wichmann, A. A. Canning, D. L. Clutterbuck, L. A. Winsborrow, N. J. Ward, D. William R. Marsh

Softw. Eng. J., 1995

1988

The verification of low-level code.

D. L. Clutterbuck, B. A. Carré

Softw. Eng. J., 1988

1986

The validation and verification of low-level code.

D. L. Clutterbuck

PhD thesis, 1986