PLDI 2024
Mon 24 - Fri 28 June 2024 Copenhagen, Denmark
Daniel Dietsch

Registered user since Mon 25 Jun 2018

Name:Daniel Dietsch
Country:Germany
Affiliation:University of Freiburg
Research interests:formal methods, requirements engineering, static analysis, program analysis, software model checking, software engineering

Contributions

Show activities from other conferences

PLDI 2024-profile
View general profile