Assuring and evolving concurrent programs: annotations and policy.

Aaron Greenhouse, William L. Scherlis

Browse the full ICSE paper archive.