Papp Albert OData support

Theses

Software verification with interval abstraction

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