Microsoft Research представляет новый инструмент VeriSol для проверки смарт-контрактов Ethereum

6 лет назад
82
Вам может быть интересно
Подписаться на новые
Сортировка:  Популярное
69
76
  ·  6 лет назад
81
  ·  6 лет назад
25
  ·  6 лет назад
82
  ·  6 лет назад
75
62
  ·  6 лет назад

Подробнее