|
|
|
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 |
3
|
|
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 |
|
|