Kovacs, R., & G. Horvath.
" An Initial Prototype of Tiered Constraint Solving in the Clang Static Analyzer." <em>Studia Universitatis Babeș-Bolyai Informatica</em> [Online], 63.2 (2018): 88-101. Web. 15 Oct. 2024