共 50 条
- [45] Selected extended papers of NFM 2021Preface Innovations in Systems and Software Engineering, 2023, 19 : 337 - 338
- [48] Selected Extended Papers of ITP 2017Preface Journal of Automated Reasoning, 2019, 63 : 319 - 321
- [49] Selected and Extended Papers from TACAS 2018: Preface Journal of Automated Reasoning, 2020, 64 : 1331 - 1332