Inproceedings,

Contratto - A Method for Transforming Legal Contracts into Formal Specifications.

, , , and .
RCIS, volume 446 of Lecture Notes in Business Information Processing, page 338-353. Springer, (2022)

Meta data

Tags

Users

  • @dblp

Comments and Reviews