Specification Mining for Smart Contracts with Automatic Abstraction Tuning

Thumbnail
Metadata only
Author
Guth, Florentin
Wüstholz, Valentin
Christakis, Maria
Müller, Peter
Show all
Date
2018-07-20
Type
    Working Paper
Publication status
published
External links
Pages / Article No.
1807.07822
Publisher
Cornell University
Organisational unit
03653 - Müller, Peter / Müller, Peter  
More
Show all metadata
ETH Bibliography
yes
Altmetrics