共 50 条
- [31] Preface of the special issue for the Oberwolfach Workshop on Computability Theory 2018 COMPUTABILITY-THE JOURNAL OF THE ASSOCIATION CIE, 2019, 8 (3-4): : 191 - 191
- [40] Preface of the special issue on the conference on computer-aided verification 2018 Formal Methods in System Design, 2021, 57 : 1 - 2