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 (SSIF 2011)
Computer and Information Science
DOI
10.1007/978-3-031-46002-9_22