Login / Signup
Jakob Hammes
Publication Activity (10 Years)
Years Active: 2017-2017
Publications (10 Years): 1
Top Topics
Natural Language
High Precision
Segmentation Method
Logic Programming
Top Venues
RE
</>
Publications
</>
Benedikt Walter
,
Jakob Hammes
,
Marco Piechotta
,
Stephan Rudolph
A Formalization Method to Process Structured Natural Language to Logic Expressions to Detect Redundant Specification and Test Statements.
RE
(2017)