AI Assisted Programming (AISoLA 2025 Track Introduction)
Paper i proceeding, 2026
Författare
Wolfgang Ahrendt
Chalmers, Data- och informationsteknik, Formella metoder
Göteborgs universitet
Bernhard K. Aichernig
Johannes Kepler Universität Linz (JKU)
Klaus Havelund
California Institute of Technology (Caltech)
Lecture Notes in Computer Science
0302-9743 (ISSN) 1611-3349 (eISSN)
Vol. 16220 LNCS 11-179783032071316 (ISBN)
Rhodes, Greece,
Ämneskategorier (SSIF 2025)
Artificiell intelligens
DOI
10.1007/978-3-032-07132-3_2