@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",
}