Specification and analysis of legal contracts with Symboleo

Alireza Parvizimosaed, Sepehr Sharifi, Daniel Amyot, Luigi Logrippo, Marco Roveri, Aidin Rasti, Ali Roudak, John Mylopoulos. Specification and analysis of legal contracts with Symboleo. Software and Systems Modeling, 21(6):2395-2427, 2022. [doi]

Abstract

Abstract is missing.