KOVÁCS, Réka, and Gábor HORVÁTH. “AN INITIAL PROTOTYPE OF TIERED CONSTRAINT SOLVING IN THE CLANG STATIC ANALYZER”. Studia Universitatis Babeș-Bolyai Informatica 63, no. 2 (December 28, 2018): 88–101. Accessed July 7, 2024. http://193.231.18.162/index.php/subbinformatica/article/view/4155.