Login / Signup
Malte Mues
ORCID
Publication Activity (10 Years)
Years Active: 2016-2024
Publications (10 Years): 20
Top Topics
Theorem Prover
Symbolic Execution
Security Analysis
E Learning
Top Venues
TACAS (2)
ISoLA (2)
Software Engineering
Softwaretechnik-Trends
</>
Publications
</>