FormaliSE 2026
Sun 12 - Mon 13 April 2026 Rio de Janeiro, Brazil
co-located with ICSE 2026
Michael Goedicke

Registered user since Tue 21 Jun 2022

Name:Michael Goedicke
Affiliation:paluno – The Ruhr Institute for Software Technology, University of Duisburg-Essen, Essen

Contributions

Show activities from other conferences

Using general profile