Login / Signup
Marcus Lindner
Publication Activity (10 Years)
Years Active: 2012-2019
Publications (10 Years): 11
Top Topics
Complementary Features
Symbolic Execution
Functional Language
Control Flow
Top Venues
ETFA
INDIN
SIGBED Rev.
EWiLi
</>
Publications
</>