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, October. https://doi.org/10.14232/actacyb.283176.