Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Foreword

Zhiming Liu; Jim Woodcock; Huibiao Zhu

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Foreword

Zhiming Liu
, Jim Woodcock
, Huibiao Zhu

Software Engineering Institute

United Nations University Institute in Macau
University of York

Research output: Contribution to journal › Editorial

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

Cite this

@article{b03d8dd1bce14da7b5a13cb564c961fb,

title = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Foreword",

author = "Zhiming Liu and Jim Woodcock and Huibiao Zhu",

year = "2013",

language = "英语",

volume = "8051 LNCS",

pages = "VII--VIII",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Springer Science and Business Media Deutschland GmbH",

note = "Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday ; Conference date: 01-09-2013 Through 03-09-2013",

}

TY - JOUR

T1 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

T2 - Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

AU - Liu, Zhiming

AU - Woodcock, Jim

AU - Zhu, Huibiao

PY - 2013

Y1 - 2013

UR - https://www.scopus.com/pages/publications/84885720912

M3 - 社论

AN - SCOPUS:84885720912

SN - 0302-9743

VL - 8051 LNCS

SP - VII-VIII

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

Y2 - 1 September 2013 through 3 September 2013

ER -

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Foreword

Other files and links

Cite this