Detecting Redundant Preconditions
Year: 2025
Type: conference-paper
Authors: Nicola Thoben, Heike Wehrheim
Institution: Carl von Ossietzky Universität Oldenburg
Language: English
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
Funder: Deutsche Forschungsgemeinschaft
Award: G7177566932
OpenAlex ID: W4411233959