Szécsi, Péter György, Gábor Horváth, and Zoltán Porkoláb. 2020. “Improved Loop Execution Modeling in the Clang Static Analyzer”. Acta Cybernetica 25 (4), 909-21. https://doi.org/10.14232/actacyb.283176.