Specification and analysis of legal contracts with Symboleo.

Autor: Parvizimosaed, Alireza1 (AUTHOR), Sharifi, Sepehr1 (AUTHOR), Amyot, Daniel1 (AUTHOR) damyot@uottawa.ca, Logrippo, Luigi1,2 (AUTHOR), Roveri, Marco3 (AUTHOR), Rasti, Aidin1 (AUTHOR), Roudak, Ali4 (AUTHOR), Mylopoulos, John1 (AUTHOR)
Zdroj: Software & Systems Modeling. Dec2022, Vol. 21 Issue 6, p2395-2427. 33p.
Databáze: Academic Search Ultimate
Nepřihlášeným uživatelům se plný text nezobrazuje