Для цитирования:

Кондратьев Д.А. Логика для суждений об ошибках в циклах над последовательностями данных (IFIL). Моделирование и анализ информационных систем. 2023;30(3):214-233. https://doi.org/10.18255/1818-1015-2023-3-214-233

For citation:

Kondratyev D.A. Logic for reasoning about bugs in loops over data sequences (IFIL). Modeling and Analysis of Information Systems. 2023;30(3):214-233. https://doi.org/10.18255/1818-1015-2023-3-214-233