Перегляд зібрання за групою - Автори 3e9eb32f-8924-4cd4-a7b0-ca4704de438e
Результати 1 до 1 із 1
Попередній перегляд | Дата випуску | Назва | Автор(и) |
---|---|---|---|
![]() | 2014 | Формализация свойств безопасности криптографических протоколов с помощью логики линейного времени | Борхаленко, В. А. |