FormaliSE 2023
Dates to be announced Melbourne, Australia
co-located with ICSE 2023
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
Research interests:Formal Methods and Software Engineering

Contributions

Show activities from other conferences

ICSE 2023-profile
View general profile