共 50 条
- [5] Preface of the special issue on Model Checking of SoftwareSelected papers of the 20th International SPIN Symposium on Model Checking of Software [J]. International Journal on Software Tools for Technology Transfer, 2016, 18 : 355 - 357
- [9] SPECIAL ISSUE - 20TH ANNIVERSARY BIOMECHANICS SYMPOSIUM - FOREWORD [J]. JOURNAL OF BIOMECHANICAL ENGINEERING-TRANSACTIONS OF THE ASME, 1993, 115 (04): : 451 - 452