Merkliste 
 1 Ergebnisse 
 
1

Smart, and also Reliable and Gas-Efficient, Contracts:

, In: 2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST),