A Formal Approach to Determining Parallel Resource Bindings: Experience Report.

John A. Keane, Walter Hussak

Browse the full ICSE paper archive.