Registered user since Tue 15 Jun 2021
Name:Boris Düdder
Country:Denmark
Affiliation:University of Copenhagen
Personal website:https://www.duedder.net
Research interests:Formal Methods and Software Engineering
Contributions
| ICSSP 2023 | Adding Generic Role- and Process-based Behaviors to Smart Contracts using Dynamic Condition Response Graphs | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile