Merkin-Janson Leonid Albertovich

Publications in Math-Net.Ru

1. Architecture of the formally-verified distributed ledger system innochain
   
   Model. Anal. Inform. Sist., 27:4 (2020),  472–487
2. InnoChain: a distributed ledger for industry with formal verification on all implementation levels
   
   Model. Anal. Inform. Sist., 27:4 (2020),  454–471