| Original language | English |
|---|---|
| Pages (from-to) | VII-VIII |
| Journal | Lecture Notes in Computer Science |
| Volume | 8051 LNCS |
| State | Published - 2013 |
| Event | Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday - Shanghai, China Duration: 1 Sep 2013 → 3 Sep 2013 |
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Foreword
- Zhiming Liu
- , Jim Woodcock
- , Huibiao Zhu
Research output: Contribution to journal › Editorial