Treffer: Software Verification and Generative AI Some Practical Examples and Considerations

Title:
Software Verification and Generative AI Some Practical Examples and Considerations
Authors:
Martignano, M., Damiani, A., Nucciarelli, L., Gui, D., Magalini, S.
Source:
ACM SIGAda Ada Letters. 44(2):51-55
Availability:
http://dl.acm.org/doi/10.1145/3742939.3742946
Database:
ACM Full-Text Collection