Travelled to:
1 × USA
Collaborated with:
M.Glykas T.Holden
Talks about:
verifi (1) orient (1) object (1) design (1)
Person: Paul Wilhelmij
DBLP: Wilhelmij:Paul
Contributed to:
Wrote 1 papers:
- TOOLS-USA-1993-GlykasWH #design #object-oriented
- Verifiable Object Oriented Designs (MG, PW, TH), pp. 391–406.