AI Assisted Programming: (AISoLA 2024 Track Introduction)
Paper i proceeding, 2025
Författare
Wolfgang Ahrendt
Chalmers, Data- och informationsteknik, Formella metoder
Bernhard K. Aichernig
Graz University of Technology, Institute of Software Technology
Klaus Havelund
California Institute of Technology (Caltech)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. 15217 LNCS 101-1069783031754333 (ISBN)
Crete, Greece,
Ämneskategorier (SSIF 2025)
Programvaruteknik
Artificiell intelligens
DOI
10.1007/978-3-031-75434-0_7