共 50 条
- [38] Preface of the special issue on the conference on computer-aided verification 2018 Formal Methods in System Design, 2021, 57 : 1 - 2
- [39] Preface to the special issue on web information systems engineering (WISE 2018) WORLD WIDE WEB-INTERNET AND WEB INFORMATION SYSTEMS, 2020, 23 (05): : 2811 - 2813