Travelled to:
1 × Austria
Collaborated with:
F.Wotawa
Talks about:
fundament (1) calculus (1) resolut (1) debug (1) use (1)
Person: Daniel Köb
DBLP: K=ouml=b:Daniel
Contributed to:
Wrote 1 papers:
- FASE-2006-KobW #calculus #debugging #using
- Fundamentals of Debugging Using a Resolution Calculus (DK, FW), pp. 278–292.