Login / Signup
Jürgen Dingel
Publication Activity (10 Years)
Years Active: 1995-2020
Publications (10 Years): 1
Top Topics
Metamodel
Formal Verification
Symbolic Execution
State Machines
Top Venues
ICST
CoRR
MoDELS
AMT@MoDELS
</>
Publications
</>