AI Assisted Programming: (AISoLA 2023 Track Introduction)
Paper in proceeding, 2024
Author
Wolfgang Ahrendt
University of Gothenburg
Chalmers, Computer Science and Engineering (Chalmers), Formal methods
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,
Subject Categories
Computer and Information Science
DOI
10.1007/978-3-031-46002-9_22