Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Maximiliano Cristiá
conf.researchr.org general profile
ICSE 2025 profile
Not registered as user
Name:
Maximiliano Cristiá
Affiliation:
CIFASIS, Universidad Nacional de Rosario, Rosario, Argentina
Contributions
2025
CSEE&T
Author of Do AI assistants help students write formal specifications? A study with ChatGPT and the B-Method within the Software Engineering Education-track
Share
x
Wed 11 Jun 08:47
