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

Дудаков С.М. О безопасности одно- и многоместных IFP-операторов. Моделирование и анализ информационных систем. 2018;25(5):525-533. https://doi.org/10.18255/1818-1015-2018-5-525-533

For citation:

Dudakov S. On Safety of Unary and Non-unary IFP-operators. Modeling and Analysis of Information Systems. 2018;25(5):525-533. (In Russ.) https://doi.org/10.18255/1818-1015-2018-5-525-533