Artifact for "Accumulation Analysis"
收藏NIAID Data Ecosystem2026-05-02 收录
下载链接：
https://zenodo.org/record/5771195
下载链接
链接失效反馈官方服务：
资源简介：
The artifact for the paper "Accumulation Analysis", published at ECOOP 2022. It contains the data for our literature survey of papers that use typestate specifications, as well as supporting evidence for miscellaneous claims. See the file `README.md` for details.
创建时间：
2024-07-16
