Braberman, V. A., Bonomo-Braberman, F., Charalambous, Y., Colonna, J. G., Cordeiro, L. C., & de Freitas, R. (2024). Generative transformations and patterns in LLM-native approaches for software verification and falsification.
Style de citation Chicago (17e éd.)Braberman, Víctor A., Flavia Bonomo-Braberman, Yiannis Charalambous, Juan G. Colonna, Lucas C. Cordeiro, et Rosiane de Freitas. Generative Transformations and Patterns in LLM-native Approaches for Software Verification and Falsification. 2024.
Style de citation MLA (9e éd.)Braberman, Víctor A., et al. Generative Transformations and Patterns in LLM-native Approaches for Software Verification and Falsification. 2024.
Attention : ces citations peuvent ne pas être correctes à 100%.