共 4 条
- [2] 13th International Conference on Compiler Construction, CC 2004 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004 Lect. Notes Comput. Sci., 1600, (1-312):
- [3] 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021 Held as Part of 24th European Joint Conferences on Theory and Practice of Software, ETAPS 2021 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2021, 12652 LNCS
- [4] 26th International Conference on Fundamental Approaches to Software Engineering, FASE 2023, held as part of the 26th European Joint Conferences on Theory and Practice of Software, ETAPS 2023 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2023, 13991 LNCS