SCP期刊录用文章一篇

文章：Slicing Assisted Program Verification: An Empirical Study 被Science Of Computer Programming期刊录用，作者：Wenjian Chai, Rongjie Yan, Wenhui Zhang, Jian Zhang