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

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

Подробнее