共 50 条
- [22] Introduction: Special Issue on Partial Order in Formal Methods Formal Methods in System Design, 2005, 26 : 5 - 6
- [24] Guest editors' introduction: Special issue on structural operational semantics JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2004, 60-1 : 1 - 2