Alfredo Capozucca, Daniil Yampolskyi, Alexander Goldberg, Maximiliano Cristiá. Do AI Assistants Help Students Write Formal Specifications? A Study with ChatGPT and the B-Method. In 37th IEEE/ACM International Conference on Software Engineering Education and Training, CSEE&T 2025, Ottawa, ON, Canada, April 27 - May 3, 2025. pages 19-29, IEEE, 2025. [doi]
@inproceedings{CapozuccaYGC25,
title = {Do AI Assistants Help Students Write Formal Specifications? A Study with ChatGPT and the B-Method},
author = {Alfredo Capozucca and Daniil Yampolskyi and Alexander Goldberg and Maximiliano Cristiá},
year = {2025},
doi = {10.1109/CSEET66350.2025.00009},
url = {https://doi.org/10.1109/CSEET66350.2025.00009},
researchr = {https://researchr.org/publication/CapozuccaYGC25},
cites = {0},
citedby = {0},
pages = {19-29},
booktitle = {37th IEEE/ACM International Conference on Software Engineering Education and Training, CSEE&T 2025, Ottawa, ON, Canada, April 27 - May 3, 2025},
publisher = {IEEE},
isbn = {979-8-3315-3709-8},
}