Do AI assistants help students write formal specifications? A study with ChatGPT and the B-Method
收藏官方服务：
资源简介：
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.
提供机构：
Zenodo创建时间：
2024-10-10
