H. Lesan

According to our database, H. Lesan authored at least 1 paper in 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