Login / Signup
P. N. Scharbach
Publication Activity (10 Years)
Years Active: 1991-1997
Publications (10 Years): 0
</>
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)
Jean-Raymond Abrial
,
Matthew K. O. Lee
,
David Neilson
,
P. N. Scharbach
,
Ib Holm Sørensen
The B-Method.
VDM Europe (2)
(1991)