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 is missing.