Для цитирования:

Тюрин А.В., Тюляндин И.В., Мальцев В., Кириленко Я.А., Березун Д.А. Обзор языков для безопасного программирования смарт-контрактов. Труды Института системного программирования РАН. 2019;31(3):157-176. https://doi.org/10.15514/ISPRAS-2019-31(3)-13

For citation:

Tyurin A.V., Tyulyandin I.V., Maltsev V.S., Kirilenko J.A., Berezun D.A. Overview of the Languages for Safe Smart Contract Programming. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2019;31(3):157-176. https://doi.org/10.15514/ISPRAS-2019-31(3)-13