Román Dávid OData support

Theses

Intervallum-based abstract interpretation for verifying invariant properties

Dr. Vörös András (MIT)
BSc degree, computer science and engineering programme, 2018-2019 Spring