Login / Signup
Elisabeth Henkel
ORCID
Publication Activity (10 Years)
Years Active: 2021-2024
Publications (10 Years): 6
Top Topics
Interpolation Methods
Semantically Meaningful
Binary Tree
Regular Patterns
Top Venues
REFSQ
Requir. Eng.
SMT
CoRR
</>
Publications
</>