Author:
Chen Feng,Yang Hongji,Chu William Cheng-Chung,Xu Baowen
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Verifying Parallel Code After Refactoring Using Equivalence Checking;International Journal of Parallel Programming;2018-01-06
2. Safe Concurrency Introduction through Slicing;Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation;2015-01-13
3. Reverse Engineering of ARM Binaries Using Formal Transformations;Proceedings of the 7th International Conference on Security of Information and Networks - SIN '14;2014