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