Travelled to:1 × Denmark
1 × Finland
Collaborated with:∅
Talks about:implement (1) instruct (1) industri (1) warrior (1) program (1) system (1) method (1) formal (1) differ (1) combat (1)
Person: Debora Weber-Wulff
DBLP: Weber-Wulff:Debora
Contributed to:
2000
1993
1990Wrote 3 papers:
- ITiCSE-2000-Weber-Wulff #programming
- Combating the code warrior: a different sort of programming instruction (DWW), pp. 85–88.
- FME-1993-Weber-Wulff #formal method #industrial
- Selling Formal Methods to Industry (DWW), pp. 671–678.
- VDME-1990-Weber-Wulff #implementation #using
- A Buffering System Implementation using VDM (DWW), pp. 135–149.