Crossmark

WhyRel: an auto-active relational verifier

Crossref DOI link: https://doi.org/10.1007/s10009-025-00786-1

Published Online: 2025-04-23

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

Authors

Nagasamudram, Ramana

Banerjee, Anindya

Naumann, David A.
License Information

Text and Data Mining valid from 2025-04-23

Version of Record valid from 2025-04-23
More Information

Article History

Accepted: 4 April 2025

First Online: 23 April 2025