Our participation at the FORTE 2016 conference

Ákos Hajdu, a PhD student of our group participated at the FORTE 2016 international conference (36th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems) in Heraklion, Greece,  where he presented the paper "A Configurable CEGAR Framework with Interpolation-Based Refinements". Co-authors: Tamás Tóth, András Vörös, István Majzik.