Travelled to:
1 × Finland
Collaborated with:
R.Breu U.Hinkel C.Klein B.Paech B.Rumpe V.Thurner
Talks about:
languag (1) toward (1) formal (1) unifi (1) model (1)
Person: Christoph Hofmann
DBLP: Hofmann:Christoph
Contributed to:
Wrote 1 papers:
- ECOOP-1997-BreuHHKPRT #formal method #modelling #towards
- Towards a Formalization of the Unified Modeling Language (RB, UH, CH, CK, BP, BR, VT), pp. 344–366.