Molnár Vince OData support

View the theses supervised by Molnár Vince »

Theses

Saturation based model checking of linear time properties

Dr. Vörös András (MIT)
BSc degree, computer science and engineering programme, 2012-2013 Autumn

Advanced saturation based model checking

Dr. Vörös András (MIT)
MSc degree, computer science and engineering programme, 2014-2015 Autumn