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 × Ireland
Collaborated with:
Talks about:
guarante (1) project (1) experi (1) condit (1) reli (1) real (1) vdm (1) use (1)

Person: B. Dickinson

DBLP DBLP: Dickinson:B=

Contributed to:

VDM Europe 19881988

Wrote 1 papers:

VDME-1988-WoodcockD #case study #experience #using
Using VDM with Rely and Guarantee-Conditions — Experiences from a Real Project (JW, BD), pp. 434–458.

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.