共 50 条
- [21] Foreword to the special issue on the 2017 Static Analysis Symposium Formal Methods in System Design, 2019, 54 : 1 - 3
- [26] SPECIAL ISSUE ACM SYMPOSIUM ON PARALLEL ALGORITHMS AND ARCHITECTURES - FOREWORD MATHEMATICAL SYSTEMS THEORY, 1991, 24 (04): : 221 - 221