Login / Signup
Johannes Dyck
ORCID
Publication Activity (10 Years)
Years Active: 2011-2023
Publications (10 Years): 7
Top Topics
Software Testing
Formal Verification
Graph Transformation
Risk Minimization
Top Venues
ICGT
CoRR
AMT@MoDELS
Softw. Syst. Model.
</>
Publications
</>