Bombarda, A., Bonfanti, S., Gargantini, A., & Pellegrinelli, N. (2026). Formalizing and validating properties in Asmeta with Large Language Models (Extended Abstract).
Chicago-Zitierstil (17. Ausg.)Bombarda, Andrea, Silvia Bonfanti, Angelo Gargantini, und Nico Pellegrinelli. Formalizing and Validating Properties in Asmeta with Large Language Models (Extended Abstract). 2026.
MLA-Zitierstil (9. Ausg.)Bombarda, Andrea, et al. Formalizing and Validating Properties in Asmeta with Large Language Models (Extended Abstract). 2026.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.