Gáti László Dávid OData support

Theses

Formal verification of MagicDraw statecharts

Farkas Rebeka Krisztina (MIT)
BSc degree, computer science and engineering programme, 2018-2019 Autumn