Részvételünk a FORTE 2016 konferencián

Kutatócsoportunk doktorandusza, Hajdu Ákos részt vett az idén Görögországban megrendezett FORTE 2016 (36th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems) nemzetközi konferencián, ahol az "A Configurable CEGAR Framework with Interpolation-Based Refinements" című cikket mutatta be. Társszerzők: Tóth Tamás, Vörös András, Majzik István.