AI Assisted Programming: (AISoLA 2023 Track Introduction)
Paper i proceeding, 2024
Författare
Wolfgang Ahrendt
Göteborgs universitet
Chalmers, Data- och informationsteknik, Formella metoder
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. 14380 LNCS 351-3549783031460012 (ISBN)
Crete, Greece,
Ämneskategorier
Data- och informationsvetenskap
DOI
10.1007/978-3-031-46002-9_22