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.

Name

Update request

I am the copyright holder of the document

Do you have the confirmation of all authors of the document to make this request?

Is the document Open Access?

Is the document available at the original source?

Any Additional Information?

Captcha