@inproceedings{P105.174, author={Anckaert, Bertrand}, title={The State-Enhanced Control Flow Graph}, booktitle={Sixth FTW PhD Symposium}, year={2005}, month={11}, pages={On CD}, editor={De Bosschere, K.}, address={Gent}, }