Modular Verification of Concurrent Thread Management.

Yu Guo, Xinyu Feng, Zhong Shao, Peizhi Shi

Browse the full APLAS paper archive.