%0 Journal Article
%A V. A. Kukharenko
%A K. V. Ziborov
%A R. F. Sadykov
%A A. V. Naumchev
%A R. M. Rezin
%A L. A. Merkin-Janson
%T InnoChain: a distributed ledger for industry with formal verification on all implementation levels
%J Modelirovanie i analiz informacionnyh sistem
%D 2020
%P 454-471
%V 27
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2020_27_4_a6/
%G ru
%F MAIS_2020_27_4_a6