Do AI assistants help students write formal specifications? A study with ChatGPT and the B-Method

Do AI assistants help students write formal specifications? A study with ChatGPT and the B-Method

20 January 2025

Alfredo Capozucca

Daniil Yampolskyi

Alexander Goldberg

Maximiliano Cristiá

Papers citing "Do AI assistants help students write formal specifications? A study with ChatGPT and the B-Method"

Title
No papers