Amir Goharshady
Amir Goharshady
Home
Publications
CV
Personal
Light
Dark
Automatic
Quantitative Analysis of Smart Contracts
Krishnendu Chatterjee
,
Amir Kafshdar Goharshady
,
Yaron Velner
April 2018
PDF
Published version
Slides
Type
Conference paper
Publication
European Symposium on Programming (ESOP)
Cite
×