Qingyu Jiang, Jing Liu, Haodong Hu. A Thread Modularity Approach for Verification Concurrent Software Based on Abstract Interpretation. In 25th Asia-Pacific Software Engineering Conference, APSEC 2018, Nara, Japan, December 4-7, 2018. pages 119-128, IEEE, 2018. [doi]
Abstract is missing.