KOVÁCS, R.; HORVÁTH, G. 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: http://193.231.18.162/index.php/subbinformatica/article/view/4155. Acesso em: 7 jul. 2024.