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

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

Подробнее