Publications

2 results for Sebastian Kanthak

Efficient control flow quantification
- - Christoph Bockisch
  - Sebastian Kanthak
  - et al.
- 2006
- OOPSLA 2006
Conference paper
Efficient control flow quantification
- - Christoph Bockisch
  - Sebastian Kanthak
  - et al.
- 2006
- ACM SIGPLAN Notices
Paper