Access to raw data
This is an update request for the document Using CLP Simplifications to Improve Java Bytecode Termination Analysis
by Fausto Spoto, Lunjin Lu and Fred Mesnard
Your paper was deposited in MUCC (Crossref)
and appears online at https://doi.org/10.1016/j.entcs.2009.11.019
Before we are able to make any updates or deletions, you must
ensure that the original record at this location is updated/removed.