https://vital.lib.tsu.ru/vital/access/manager/Index ${session.getAttribute("locale")} 5 Автоматный метод синтеза тестов для проверки безопасности реализаций телекоммуникационных протоколов https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000524745 Mon 30 Sep 2019 11:01:29 KRAT ]]>