×
模态框（Modal）标题
在这里添加一些文本
Close
Close
Submit
Cancel
Confirm
×
模态框（Modal）标题
×
CIE Homepage
|
Join CIE
|
Login CIE
|
中文
Toggle navigation
Home
About
Introduction
Publication Ethics
Contact Us
Subscription
Editorial Board
All Issues
Archive
Virtual Issue
Top Downloaded
Top Read
Most cited
Online First
Author Guide
Author Guide
Download Center
Semantic Comparison Model for Binary Programs Based on Statistical Reasoning
GUO Xi, WANG Pan
ACTA ELECTRONICA SINICA . 2025, (
1
): 163 -181 . DOI: 10.12263/DZXB.20240408
