Login / Signup
Alexander Elenga Gärtner
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 1
Top Topics
Formal Logic
Anomaly Detection
Learning Strategies
Top Venues
Autom. Softw. Eng.
</>
Publications
</>
Alexander Elenga Gärtner
,
Dietmar Göhlich
Automated requirement contradiction detection through formal logic and LLMs.
Autom. Softw. Eng.
31 (2) (2024)