1
基于逻辑一致性判定的广义不透明谓词检测方法
Generalized opaque predicates detecting method based on logical consistency
2019年第6期 : 1808-1812
doi:10.19734/j.issn.1001-3695.2017.12.0824