In our lab, you are free to work on what you are interested in, and your colleagues will always be there when you need help or feedback.
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|