Osterland, T.T.OsterlandRose, T.T.Rose2022-03-052022-03-052017https://publica.fraunhofer.de/handle/publica/254145en004005006Correctness of Smart Contracts for Consistency Enforcementjournal article