共 50 条
- [6] Introduction to the Special Issue on Runtime Verification International Journal on Software Tools for Technology Transfer, 2023, 25 : 519 - 520
- [7] Introduction to the special issue on runtime verification Formal Methods in System Design, 2018, 53 : 1 - 5