Registered user since Tue 15 Jun 2021
Name:Boris Düdder
Country:Denmark
Affiliation:University of Copenhagen
Personal website: https://www.duedder.net
GitHub: https://github.com/BorisDuedder
Research interests:Formal Methods and Software Engineering
Contributions
ICSE 2023-profile
View general profile
View general profile