Soavi, Michele
Soavi, Michele
Mostra
records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.009 secondi).
ContracT – from Legal Contracts to Formal Specifications: Preliminary Results
2020-01-01 Soavi, M.; Zeni, N.; Mylopoulos, J.; Mich, L.
Contratto – A Method for Transforming Legal Contracts into Formal Specifications
2022-01-01 Soavi, Michele; Zeni, Nicola; Mylopoulos, John; Mich, Luisa
From Legal Contracts to Formal Specifications
2022-10-27 Soavi, Michele
From Legal Contracts to Formal Specifications: A Progress Report
2021-01-01 Soavi, Michele; Zeni, Nicola; Mylopoulos, Ioannis; Mich, Luisa
From Legal Contracts to Formal Specifications: A Systematic Literature Review
2022-01-01 Soavi, Michele; Zeni, Nicola; Mylopoulos, John; Mich, Luisa
Semantic Annotation of Legal Contracts with ContrattoA
2022-01-01 Soavi, Michele; Zeni, Nicola; Mylopoulos, John; Mich, Luisa