FormaliSE 2023
Dates to be announced Melbourne, Australia
co-located with ICSE 2023
ICSE 2023 (series) / FormaliSE 2023 (series) / Boris Düdder
Boris Düdder

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

Show activities from other conferences

ICSE 2023-profile
View general profile