Logic-based Software Evolution Operational Language and Structural Operational Semantics

• 基于逻辑的软件演化操作语言及结构化操作语义