Kutatócsoportunk nemzetközi szinten is kiemelkedő eredményt ért el a TACAS 2015 (International Conference on Tools and Algorithms for the Construction and Analysis of Systems) tudományos konferencián.
