KOVACS, R.; 						HORVATH, G..
 An Initial Prototype of Tiered Constraint Solving in the Clang Static Analyzer.
<strong>Studia Universitatis Babeș-Bolyai Informatica</strong>, [S.l.], v. 63, n. 2, p. 88-101, june 2018.
ISSN 2065-9601.
Available at: &lt;<a href="https://www.cs.ubbcluj.ro/~studia-i/journal/journal/article/view/30" target="_new">https://www.cs.ubbcluj.ro/~studia-i/journal/journal/article/view/30</a>&gt;. Date accessed: 15 oct. 2024.
doi: <a href="https://doi.org/10.24193/subbi.2018.2.06">https://doi.org/10.24193/subbi.2018.2.06</a>.