共 50 条
- [42] Foreword to the Special Issue in Empirical Software Engineering: Best Papers of REFSQ 2019 Empirical Software Engineering, 2020, 25 : 4348 - 4349
- [49] Special Issue Formal Languages and Analysis of Contract-Oriented Software (FLACOS'11) Foreword JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2013, 82 (5-7): : 163 - 163
- [50] Special Issue Formal Languages and Analysis of Contract-Oriented Software (FLACOS'07) Foreword JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2009, 78 (05): : 289 - 290