Do AI assistants help students write formal specifications? A study with ChatGPT and the B-Method
收藏NIAID Data Ecosystem2026-05-02 收录
下载链接：
https://zenodo.org/record/13910307
下载链接
链接失效反馈官方服务：
资源简介：
Replication package of the paper: "Do AI assistants help students write formal specifications? A study with ChatGPT and the B-Method." Submitted to the 37th edition of the IEEE Conference on Software Engineering Education and Training (CSEE&T), co-located with ICSE 2025.
创建时间：
2025-01-15
