文
论文分享
演练场
杂货铺
论文推荐
字
编辑器下载
登录
注册
Andy S. Evans
发表
Reasoning with UML class diagrams
Andy S. Evans, A. Evans, 1998, Proceedings. 2nd IEEE Workshop on Industrial Strength Formal Specification Techniques.