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