Published May 29, 2024
| Version v1
Dataset
Restricted
Replication package for the paper on contract generation for workflows
Authors/Creators
Description
The replication package for the paper on contract generation for workflows.
Contains the prototype and the experimental results from the paper.
Files
Restricted
The record is publicly accessible, but files are restricted. Log in to check if you have access.