Semeráth Oszkár OData support

View the theses supervised by Semeráth Oszkár »

Theses

Formal analysis of model transformations

Dr. Varró Dániel (MIT)
BSc degree, computer science and engineering programme, 2010-2011 Spring

Formal verification of model transformations by shape analysis

Dr. Varró Dániel (MIT)
MSc degree, computer science and engineering programme, 2013-2014 Autumn