KOVÁCS, Réka; HORVÁTH, Gábor. AN INITIAL PROTOTYPE OF TIERED CONSTRAINT SOLVING IN THE CLANG STATIC ANALYZER. Studia Universitatis Babeș-Bolyai Informatica, [S. l.], v. 63, n. 2, p. 88–101, 2018. DOI: 10.24193/subbi.2018.2.06. Disponível em: https://studia.reviste.ubbcluj.ro/index.php/subbinformatica/article/view/4155. Acesso em: 3 apr. 2025.