KOVÁCS, R. and HORVÁTH, G. (2018) “AN INITIAL PROTOTYPE OF TIERED CONSTRAINT SOLVING IN THE CLANG STATIC ANALYZER”, Studia Universitatis Babeș-Bolyai Informatica, 63(2), pp. 88–101. doi: 10.24193/subbi.2018.2.06.