RUS
ENG
Full version
PEOPLE
Tyurin Alexey Valerievitch
Publications in Math-Net.Ru
Overview of the languages for safe smart contract programming
Proceedings of ISP RAS
,
31
:3 (2019),
157–176
©
Steklov Math. Inst. of RAS
, 2024
