Бояндин Лев Константинович

Бояндин Лев Константинович
Россия, Новосибирск
Область научных интересов
Место работы и должность
  • Новосибирский государственный университет — студент
Адрес электронной почты
Список статей в журнале СИ:
Кондратьев Д.А. Бояндин Л.К. Гончар Г.Е. Марченко В.В. Обухова А.А. Разбитнова Ю.Ю. Хованская А.С. Янбулатов Д.Р. Формальная верификация реализации хэш-функции «Стрибог» с «Группой Астра» // Системная информатика. — . — № 28.  — С. 25-52