Travelled to:
1 × The Netherlands
Collaborated with:
J.Abrial M.K.O.Lee D.Neilson I.H.Sørensen
Talks about:
method (1)
Person: P. N. Scharbach
DBLP: Scharbach:P=_N=
Contributed to:
Wrote 2 papers:
- VDME-1991-AbrialLNSS
- The B-Method (JRA, MKOL, DN, PNS, IHS), pp. 398–405.