Решение задачи синтеза системы защиты информации с помощью SMT-решателей. Вестник ВолГУ. Серия 10. Инновационная деятельность, 2017, № 3 – октябрь
| Наименование публикации | Решение задачи синтеза системы защиты информации с помощью SMT-решателей. Вестник ВолГУ. Серия 10. Инновационная деятельность, 2017, № 3 – октябрь |
| Тип публикации | Статья |
| Библиографическое описание | Решение задачи синтеза системы защиты информации с помощью SMT-решателей |
| Аннотация | - |
| Ключевые cлова | - |
| Год публикации | 2017 |
| Автор(ы) |
Попов Глеб Александрович
|
| Электронная копия публикации | - |