Travelled to:1 × The Netherlands
1 × United Kingdom
Collaborated with:I.H.Sørensen J.Hoare J.Dick J.Abrial M.K.O.Lee P.N.Scharbach
Talks about:technolog (1) method (1) appli (1) cic (1)
Person: David Neilson
DBLP: Neilson:David
Contributed to:
1996
1991Wrote 3 papers:
- FME-1996-HoareDNS #cics
- Applying the B Technologies on CICS (JH, JD, DN, IHS), pp. 74–84.
- VDME-1991-AbrialLNSS
- The B-Method (JRA, MKOL, DN, PNS, IHS), pp. 398–405.