|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2020 |
1. |
Е. С. Шишкин, Е. С. Кислицын, “Протокол сертификации целостности облачных вычислений”, Труды ИСП РАН, 32:4 (2020), 115–132 |
|
2018 |
2. |
Е. С. Шишкин, “Проверка функциональных свойств смарт-контрактов методом символьной верификации модели”, Труды ИСП РАН, 30:5 (2018), 265–288 |
1
|
|