Everyone in our lab is free to work on what they want to work on. Encouragement and constructive feed back is always available.
Modeling and Reasoning with Multirelations, and their encoding in Alloy
| Title | Modeling and Reasoning with Multirelations, and their encoding in Alloy |
| Publication Type | Conference Paper |
| Year of Publication | 2016 |
| Authors | Sun, P., Z. Diskin, M. Antkiewicz, and K. Czarnecki |
| Conference Name | 16th International Workshop in OCL and Textual Modeling |
| Date Published | 10/2016 |
| Notes | |
| URL | http://oclworkshop.github.io/2016/papers/OCL16_paper_10.pdf |
| Refereed Designation | Refereed |
