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