InnoChain: a Distributed Ledger for Industry with Formal Verification on all Implementation Levels

by Vladimir Aleksandrovich Kukharenko, Kirill Viktorovich Ziborov, Rafael Faritovich Sadykov, Alexandr Vladimirovich Naumchev, Ruslan Maratovich Rezin, Leonid Albertovich Merkin-Janson
Published 2020-12-01