Article Takedown/Update Request

This is an update request for the document Semantic characterisation of dead control-flow paths by Ian Hayes, Colin J. Fidge and Karl Lermer

Your paper was deposited in Queensland University of Technology ePrints Archive and appears online at http://eprints.qut.edu.au/10444/
Before we are able to make any updates or deletions, you must ensure that the original record at this location is updated/removed.