形式语义描述方法研究进展与评价

• Research and Evaluation on Formal Semantic Description Techniques