formal_operational_semantics_有道手机词典

1.This article introduces an formal operational semantics and summarizes a verifiable technique based on formulas.
本文给出一种形式化操作语义，并概述基于形式化规则的验证技术。
dict.yoduao.com