Alan Khoja, Martin Kölbl, Stefan Leue, Rüdiger Wilhelmi. Automated Consistency Analysis for Legal Contracts. In Owolabi Legunsen, Grigore Rosu, editors, Model Checking Software - 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings. Volume 13255 of Lecture Notes in Computer Science, pages 1-23, Springer, 2022. [doi]
Abstract is missing.