Do AI Assistants Help Students Write Formal Specifications? A Study with ChatGPT and the B-Method. - Alfredo Capozucca; Daniil Yampolskyi; Alexander Goldberg; Maximiliano Cristiá (CSEE&T, 2025)