Replication package for the paper on contract generation for workflows
收藏官方服务：
资源简介：
The replication package for the paper on contract generation for workflows. Contains the prototype and the experimental results from the paper.
提供机构：
Zenodo创建时间：
2024-05-29
