| From legal contracts to formal specifications: A systematic literature review M Soavi, N Zeni, J Mylopoulos, L Mich SN Computer Science 3 (5), 345, 2022 | 15 | 2022 |
| ContracT–from legal contracts to formal specifications: preliminary results M Soavi, N Zeni, J Mylopoulos, L Mich The Practice of Enterprise Modeling: 13th IFIP Working Conference, PoEM 2020 …, 2020 | 11 | 2020 |
| Semantic annotation of legal contracts with ContrattoA M Soavi, N Zeni, J Mylopoulos, L Mich Informatics 9 (4), 72, 2022 | 6 | 2022 |
| Contratto–a method for transforming legal contracts into formal specifications M Soavi, N Zeni, J Mylopoulos, L Mich International Conference on Research Challenges in Information Science, 338-353, 2022 | 3 | 2022 |
| From Legal Contracts to Formal Specifications: A Progress Report M Soavi, N Zeni, J Mylopoulos, L Mich NLP4RE 2857, 2021 | 3 | 2021 |
| From Legal Contracts to Formal Specifications M Soavi University of Trento, 2022 | 1 | 2022 |
| From Legal Contracts to Formal Specifications: A Systematic Literature M Soavi, N Zeni, J Mylopoulos, L Mich | | 2022 |
John MylopoulosUniversity of OttawaVerified email at cs.toronto.edu
