Do AI assistants help students write formal specifications? A study with ChatGPT and the B-Method
收藏NIAID Data Ecosystem2026-05-02 收录
数据链接：
官方服务：
资源简介：
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
