2022
DOI: 10.1007/978-3-031-05760-1_20
|View full text |Cite
|
Sign up to set email alerts
|

Contratto – A Method for Transforming Legal Contracts into Formal Specifications

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1

Citation Types

0
1
0

Year Published

2022
2022
2022
2022

Publication Types

Select...
2

Relationship

1
1

Authors

Journals

citations
Cited by 2 publications
(1 citation statement)
references
References 26 publications
0
1
0
Order By: Relevance
“…Our longer-term plans include tackling other steps of the transformation process with Symboleo as the target specification language, with the aim of creating an environment composed of several tools to facilitate the transformation for a legal contract in NL [38].…”
Section: Discussionmentioning
confidence: 99%
“…Our longer-term plans include tackling other steps of the transformation process with Symboleo as the target specification language, with the aim of creating an environment composed of several tools to facilitate the transformation for a legal contract in NL [38].…”
Section: Discussionmentioning
confidence: 99%