RT: 🗓Tomorrow, join the #NLResearchSeminars w/Manuel Hermenegildo from @IMDEA_Software.
🔍“Analysis & Verification of the Resource Consumption of @Tezos Contracts”.
✍️Register: https://bit.ly/3ircDmy
#Tezos #blockchainevolved
转发：🗓明天，加入@IMDEA#u软件公司Manuel Hermengildo的#NLResearch研讨会。
🔍“对@Tezos合同资源消耗的分析和验证”。
✍️注册：https://bit.ly/3ircDmy
#Tezos#区块链