[1]
P. G. Szécsi, G. Horváth, and Z. Porkoláb, “Improved Loop Execution Modeling in the Clang Static Analyzer”, Acta Cybern, Oct. 2020.