Our lab is a very exciting place to learn and work!
Dina Zayan, B.Sc.
"Example-Driven Modeling Using Clafer", First International Workshop on Model-driven Engineering By Example, 2013.
"Example-Driven Modeling. Model = Abstractions + Examples", New Ideas and Emerging Results (NIER) track of the 35th International Conference on Software Engineering (ICSE 2013), San Francisco, CA, USA, 2013.