共 50 条
- [41] Welcome from the Chairs TyDe 2020 - Proceedings of the 5th ACM SIGPLAN International Workshop on Type-Driven Development, co-located with ICFP 2020, 2020,
- [42] Welcome from the Chairs Gamify 2024 - Proceedings of the 3rd ACM International Workshop on Gamification in Software Development, Verification, and Validation, Co-located with: ISSTA 2024, 2024,
- [43] Welcome from the Chairs CPP 2023 - Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2023, 2023,
- [45] Welcome from the chairs A-TEST 2019 - Proceedings of the 10th ACM SIGSOFT International Workshop on Automating TEST Case Design, Selection, and Evaluation, co-located with ESEC/FSE 2019, 2019,
- [47] Welcome from the chairs 2005, American Society of Mechanical Engineers, New York, United States (2 B):
- [49] Welcome from the Chairs SCALA 2020 - Proceedings of the 11th ACM SIGPLAN International Symposium on Scala - Co-located with SPLASH 2020, 2020,
- [50] Welcome from the Chairs FTfJP 2022 - Proceedings of the Workshop on Formal Techniques for Java-like Programs, 2022,