Travelled to:1 × Italy
Collaborated with:M.Goedicke
Talks about:student (1) languag (1) exercis (1) analysi (1) static (1) specif (1)
Person: Carsten Köllmann
DBLP: K=ouml=llmann:Carsten
Contributed to:
Wrote 1 papers:
- ASE-2008-KollmannG #specification #static analysis #student
- A Specification Language for Static Analysis of Student Exercises (CK, MG), pp. 355–358.












