Login / Signup
Christian Dernehl
Publication Activity (10 Years)
Years Active: 2015-2018
Publications (10 Years): 5
Top Topics
Modulo Theories
Sat Instances
Abstract Interpretation
Active Databases
Top Venues
Comput. Lang. Syst. Struct.
SEFM
MoDeVVa@MoDELS
GI-Jahrestagung
</>
Publications
</>