发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

A framework for model transformation verification

A framework for model transformation verification

Lano, Kevin; Clark, T.; Kolahdouz-Rahimi, S.
  • 期刊名称Formal Aspects of Computing
  • 作者Lano, Kevin; Clark, T.; Kolahdouz-Rahimi, S.
  • 卷第27卷
  • 期第1期
  • 印刷ISSN0934-5043
  • 电子ISSN1433-299X
  • 文件大小744.69KB
  • 发表时间2015-1
  • DOI10.1007/s00165-014-0313-z
  • 页码193-235
同期刊推荐
← 返回【学霸图书馆】主页
© 2026 学霸图书馆 · 让阅读成为习惯