Formal methods and software engineering 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, proceedings - Ogata, Kazuhiro; Mery, Dominique; Sun, Meng; Liu, Shaoying (Springer, 2024)
Keywords: Theory of Computation; Programming Techniques; Software Engineering; Compilers and Interpreters; Computer and Information Systems Applications; Natural Language Processing (NLP); Computer science; Computer programming; Software engineering; Compilers (Computer programs); Application software; Natural language processing (Computer science); Künstliche Intelligenz; Programmiersprache; Konferenzschrift -- 2024 -- Hiroshima