and Mavroeidis, Vasileios}, title = {The FormAI Dataset: Generative AI in Software Security through the Lens of Formal Verification}, year = {2023}, isbn = {9798400703751}, publisher = {Association for Computing Machinery}, address = {New York, NY, USA}, url = {https://doi.org/...
Files baaab07 MaterialSkin MaterialSkinExample Icons Properties Resources App.config MainForm.Designer.cs MainForm.cs MainForm.resx MaterialSkinExample.csproj Program.cs .gitattributes .gitignore .nuspec LICENSE MaterialSkin.sln README.md nugetIcon.png...