Text this: Применение технологий символьно-конкретного тестирования и машинного обучения для автоматизации обнаружения уязвимостей программного обеспечения; Перспективы развития фундаментальных наук; Т. 7 : IT-технологии и электроника