Alireza Parvizimosaed. Towards the Specification and Verification of Legal Contracts. In Travis D. Breaux, Andrea Zisman, Samuel Fricker, Martin Glinz, editors, 28th IEEE International Requirements Engineering Conference, RE 2020, Zurich, Switzerland, August 31 - September 4, 2020. pages 445-450, IEEE, 2020. [doi]
Abstract is missing.