Towards automated formal analysis of model transformation specifications /
Saved in:
| 主要作者: | |
|---|---|
| 格式: | Thesis 图书 |
| 语言: | English |
| 出版: |
2013.
|
| 主题: | |
| 标签: |
添加标签
没有标签, 成为第一个标记此记录!
|
| 实物描述: | xxiii, 309 leaves : illustrations ; 30 cm. |
|---|---|
| 参考书目: | Bibliography: leaves 294-309. |