APA (7th ed.) Citation

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.

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

Capozucca, Alfredo, et al. Do AI Assistants Help Students Write Formal Specifications? A Study with ChatGPT and the B-Method. 2025.