Juergen Dingel

Publication Activity (10 Years)

Years Active: 2009-2023
Publications (10 Years): 50

Top Topics

Symbolic Execution

Embedded Systems

Top Venues

Softw. Syst. Model.

MoDELS (Companion)

Publications