Березун Даниил Андреевич

Публикации в базе данных Math-Net.Ru

1. Overview of the languages for safe smart contract programming
   
   Труды ИСП РАН, 31:3 (2019),  157–176
2. Полная головная линейная редукция
   
   Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление, 10:3 (2017),  59–82