Conference paper
Efficient control flow quantification
Christoph Bockisch, Sebastian Kanthak, et al.
OOPSLA 2006
Christoph Bockisch, Sebastian Kanthak, et al.
OOPSLA 2006
Michael G. Burke, Cheryl Morris, et al.
OOPSLA 2006
Kazunori Ogata, Tamiya Onodera, et al.
OOPSLA 2006
Kewei Sun, Ying Li, et al.
OOPSLA 2006