Amir Goharshady
Amir Goharshady
Home
Publications
CV
Personal
Light
Dark
Automatic
Yaron Velner
Latest
Ergodic Mean-payoff Games for the Analysis of Attacks in Cryptocurrencies
Quantitative Analysis of Smart Contracts
Cite
×