TY  - RPRT
TI  - Do AI assistants help students write formal specifications? A study with ChatGPT and the B-Method
AU  - Alfredo Capozucca
AU  - Daniil Yampolskyi
AU  - Alexander Goldberg
AU  - Maximiliano Cristiá
PY  - 2025
UR  - https://arxiv.org/abs/2502.07789
ID  - 2502.07789
ER  -