文
论文分享
演练场
杂货铺
论文推荐
字
编辑器下载
登录
注册
Richard M. Botting
发表
Analysis of the STEP standard data access interface using formal methods
Anthony N. Godwin, A. N. Godwin, R. M. Botting, 1995 .