|
|
Publications in Math-Net.Ru |
Citations |
|
2019 |
1. |
A. V. Tyurin, I. V. Tyulyandin, V. S. Maltsev, I. A. Kirilenko, D. A. Berezun, “Overview of the languages for safe smart contract programming”, Proceedings of ISP RAS, 31:3 (2019), 157–176 |
2
|
|
2017 |
2. |
D. A. Berezun, “Complete head linear reduction”, St. Petersburg Polytechnical University Journal. Computer Science. Telecommunication and Control Sys, 10:3 (2017), 59–82 |
|
Organisations |
|
|