Replication package for the paper on contract generation for workflows

Name: Replication package for the paper on contract generation for workflows
Published: 2024-08-07T00:00:00+08:00

数据链接：

官方服务：

资源简介：

The replication package for the paper on contract generation for workflows. Contains the prototype and the experimental results from the paper.

创建时间：

2024-08-07