Конечно-автоматные алгоритмы проверки безопасного функционирования веб-сервисов диссертация на соискание ученой степени кандидата технических наук : 2.3.1 - Широкова, Екатерина Владимировна ([б. и.], 2023)