Tegzes Tamás OData support

Theses

Applying Incremental, Inductive Model Checking to Software

Tóth Tamás (MIT)
BSc degree, computer science and engineering programme, 2018-2019 Autumn