Experience with fluid: analysis, design intent, and assurance for concurrency.

William L. Scherlis

Browse the full ISSTA paper archive.