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