汇编级顺序语句块的自动形式化规约及其验证
祁龙云, 吕小亮, 路红, 黄皓
Automatic Formal Specification and Its Verification of Assembly-Level Sequential Statement Blocks
QI Longyun, Lü Xiaoliang, LU Hong, HUANG Hao
计算机工程
.
2019, (10): 64
-69,77
.
DOI: 10.19678/j.issn.1000-3428.0053152