Tihanyi, N., Bisztray, T., Jain, R., Ferrag, M. A., Cordeiro, L. C., & Mavroeidis, V. (2023). The FormAI Dataset: Generative AI in Software Security Through the Lens of Formal Verification.
Chicago-Zitierstil (17. Ausg.)Tihanyi, Norbert, Tamas Bisztray, Ridhi Jain, Mohamed Amine Ferrag, Lucas C. Cordeiro, und Vasileios Mavroeidis. The FormAI Dataset: Generative AI in Software Security Through the Lens of Formal Verification. 2023.
MLA-Zitierstil (9. Ausg.)Tihanyi, Norbert, et al. The FormAI Dataset: Generative AI in Software Security Through the Lens of Formal Verification. 2023.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.