Bajkai Viktória Dorina OData support

Theses

Combining Abstract Domains for Software Model Checking

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