Fast and Accurate Static Data-Race Detection for Concurrent Programs - Sciweavers

35

click to vote

more CAV 2007 ...

userweb.cs.utexas.edu

Tweet