Czipó Bence OData support

Theses

Abstraction-based verification of hierarchical statecharts

Hajdu Ákos (MIT)
BSc degree, computer science and engineering programme, 2016-2017 Autumn