Reiner Hähnle, Cosimo Laneve. Deductive Verification of Legal Contracts. In Roberto Casadei, Fatemeh Ghassemi, editors, Coordination Models and Languages - 28th IFIP WG 6.1 International Conference, COORDINATION 2026, Held as Part of the 21st International Federated Conference on Distributed Computing Techniques, DisCoTec 2026, Urbino, Italy, June 8-12, 2026, Proceedings. Volume 16590 of Lecture Notes in Computer Science, pages 216-237, Springer, 2026. [doi]
Abstract is missing.