TY - Front. Comput. Sci. A1 - Xiaofang QI, Zhenliang JIANG T1 - Precise slicing of interprocedural concurrent programs Y1 - 2017-12-01 JF - Frontiers of Computer Science JO - Front. Comput. Sci. SP - 971 EP - 986 VL - 11 IS - 6 UR - https://journal.hep.com.cn/fcs N1 - 10.1007/s11704-017-6189-3 ER -