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]
Abstract is missing.