Article Takedown/Update Request

This is an update request for the document Compiler-assisted software verification using plug-ins by S. Callanan, R. Grosu, null Xiaowan Huang, S.A. Smolka and E. Zadok

Your paper was deposited in MUCC (Crossref) and appears online at http://www.cs.sunysb.edu/~grosu/ngs06.pdf
Before we are able to make any updates or deletions, you must ensure that the original record at this location is updated/removed.