1 paper · 1 filter
Adele Veschetti, Richard Bubel, Reiner Hähnle
Smart contracts codify real-world transactions and automatically execute the terms of the contract when predefined conditions are met. This paper proposes SmartML, a modeling langu…