Travelled to:1 × The Netherlands
Collaborated with:∅ O.Owe
Talks about:formal (2) techniqu (1) develop (1) orient (1) object (1) abel (1)
Person: Ole-Johan Dahl
DBLP: Dahl:Ole=Johan
Contributed to:
19901991Wrote 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.