Gujgiczer Anna OData support

Theses

Learning based analysis of timed systems

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