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
Collaborated with:
Talks about:
formal (2) techniqu (1) develop (1) orient (1) object (1) abel (1)

Person: Ole-Johan Dahl

DBLP DBLP: Dahl:Ole=Johan

Contributed to:

VDM Europe 19901990
VDM Europe (2) 19911991

Wrote 3 papers:

VDME-1990-Dahl #object-oriented
Object Orientation and Formal Techniques (OJD), pp. 1–11.
VDME-1991-DahlO #development
Formal Development with ABEL (OJD, OO), pp. 320–362.

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.