Travelled to:
1 × Spain
Collaborated with:
M.Heisel T.Santen
Talks about:
architectur (1) support (1) softwar (1) generic (1) develop (1) formal (1) tool (1)
Person: Dominik Zimmermann
DBLP: Zimmermann:Dominik
Contributed to:
Wrote 1 papers:
- ESEC-1995-HeiselSZ #architecture #development #formal method #tool support
- Tool Support for Formal Software Development: A Generic Architecture (MH, TS, DZ), pp. 272–293.