View in EDS

Clause-reachability is undecidable in legal contracts.

Saved in:
Bibliographic Details
Title: Clause-reachability is undecidable in legal contracts.
Authors: Delzanno, Giorgio1, giorgio.delzanno@unige.it, Laneve, Cosimo2, cosimo.laneve@unibo.it, Sangnier, Arnaud1, arnaud.sangnier@unige.it, Zavattaro, Gianluigi2, gianluigi.zavattaro@unibo.it
Source: International Journal on Software Tools for Technology Transfer; Jun2026, Vol. 28 Issue 3, p255-275, 21p
Database: Applied Science & Technology Source
Be the first to leave a comment!
You must be logged in first