Journal:FORMAL ASPECTS OF COMPUTING ISSN No.:0934-5043 Translation or Not:no Date of Publication:2019-02-01 Indexed by:期刊论文
Pre One:形式化方法的理论基础专题前言