BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Neilson:David

Contributed to:

FME 19961996
VDM Europe (2) 19911991

Wrote 3 papers:

FME-1996-HoareDNS #cics
Applying the B Technologies on CICS (JH, JD, DN, IHS), pp. 74–84.
The B-Method (JRA, MKOL, DN, PNS, IHS), pp. 398–405.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.