Capozucca, A., Yampolskyi, D., Goldberg, A., & Cristiá, M. (2025). Do AI assistants help students write formal specifications? A study with ChatGPT and the B-Method.
Citazione stile Chigago Style (17a edizione)Capozucca, Alfredo, Daniil Yampolskyi, Alexander Goldberg, e Maximiliano Cristiá. Do AI Assistants Help Students Write Formal Specifications? A Study with ChatGPT and the B-Method. 2025.
Citatione MLA (9a ed.)Capozucca, Alfredo, et al. Do AI Assistants Help Students Write Formal Specifications? A Study with ChatGPT and the B-Method. 2025.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.