–
Статьи в журналах
-
- 2020 InnoChain: a Distributed Ledger for Industry with Formal Verification on all Implementation Levels
- Kukharenko Vladimir Aleksandrovich, Ziborov Kirill Viktorovich, Sadykov Rafael Faritovich, Naumchev Alexandr Vladimirovich, Rezin Ruslan Maratovich, Merkin-Janson Leonid Albertovich
- в журнале Моделирование и анализ информационных систем, издательство Яросл. гос. ун-т (Ярославль), том 27, № 4, с. 454-471 DOI