Crossmark

Reasoning About Incompletely Defined Programs

Crossref DOI link: https://doi.org/10.1007/s10817-025-09722-z

Published Online: 2025-08-25

Published Print: 2025-09

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Walther, Christoph https://orcid.org/0000-0002-9382-5399
Funding

Funding for this research was provided by:

Technische Universität Darmstadt
License Information

Text and Data Mining valid from 2025-08-25

Version of Record valid from 2025-08-25
More Information

Article History

Received: 29 March 2024

Accepted: 12 March 2025

First Online: 25 August 2025

Declarations

:

: The authors declare no Conflict of interest.