Szécsi, P.G., Horváth, G. and Porkoláb, Z. 2020. Improved Loop Execution Modeling in the Clang Static Analyzer. Acta Cybernetica. 25, 4 (Oct. 2020), 909-921. DOI:https://doi.org/10.14232/actacyb.283176.