Medium
Раскрытие уязвимости от Certora: утерянные комиссии подписантов в системе TBTC
Еще один юзкейс для формальной верификации
See this content immediately after install
Get The App