Login / Signup
Kasper Søe Luckow
ORCID
Publication Activity (10 Years)
Years Active: 2011-2020
Publications (10 Years): 19
Top Topics
Java Virtual Machine
Safety Critical
Symbolic Execution
Model Checking
Top Venues
ACM SIGSOFT Softw. Eng. Notes
JTRES
SEFM
ICST
</>
Publications
</>