![Boris Düdder](https://conf.researchr.org/getProfileImage/borisdudder/b60f2f48-3418-438f-8898-6b45a3c6754c/small.jpg?1711478186000)
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