Logic-based Software Evolution Operational Language and Structural Operational Semantics
英
美
基于逻辑的软件演化操作语言及结构化操作语义
目录
查词历史
英 汉