Szécsi, P.G. et al. 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.