Transformation of Alloy Notation into a Semantic Notation
Dwivedi, Ashish Kumar; Rath, Santanu Kumar
- 期刊名称ACM SIGSOFT Software Engineering Notes
- 作者Dwivedi, Ashish Kumar; Rath, Santanu Kumar
- 卷第43卷
- 期第1期
- 印刷ISSN0163-5948
- 文件大小1153.96KB
- 发表时间2018-03-28
- DOI10.1145/3178315.3178331
- 页码1-6