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 (Dec. 2018), 88–101. DOI:https://doi.org/10.24193/subbi.2018.2.06.