Noam Rinetzky, and Mooly Sagiv. Local reasoning for storable locks and threads (2007)

by Alexey Gotsman, Josh Berdine, Byron Cook
Venue:In APLAS 2007