Travelled to:
1 × Portugal
Collaborated with:
R.Gotzhein
Talks about:
support (1) semant (1) profil (1) formal (1) tool (1) sdl (1)
Person: Rüdiger Grammes
DBLP: Grammes:R=uuml=diger
Contributed to:
Wrote 1 papers:
- FASE-2007-GrammesG #semantics #tool support
- SDL Profiles — Formal Semantics and Tool Support (RG, RG), pp. 200–214.