|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
Systematic Review of Automatic Verification of Smart-Contractsстатья
Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАК- Авторы: Fedotov I.A., Khritankov A.S.
- Журнал: Программная инженерия
- Том: 11
- Номер: 1
- Год издания: 2020
- Издательство: Новые технологии
- Местоположение издательства: Москва
- Первая страница: 3
- Последняя страница: 13
- DOI: 10.17587/prin.11.3-13
- Добавил в систему: Хританков Антон Сергеевич