Static analysis of concurrent software for deriving synchronization constraints.

Richard H. Carver, Kuo-Chung Tai

Browse the full ICDCS paper archive.