文
论文分享
演练场
杂货铺
论文推荐
字
编辑器下载
登录
注册
Nidal Djemam
发表
OCL contracts for the verification of model transformations
Nicolas Belloir, Franck Barbier, Eric Cariou, 2010, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..