Preface

Bernd Finkbeiner; Geguang Pu; Lijun Zhang

doi:10.1007/978-3-319-24953-7

Preface

Bernd Finkbeiner, Geguang Pu, Lijun Zhang

Software Engineering Institute

Research output: Contribution to journal › Editorial

Original language	English
Pages (from-to)	V
Journal	Lecture Notes in Computer Science
Volume	9364
DOIs	https://doi.org/10.1007/978-3-319-24953-7
State	Published - 2015
Event	13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015 - Shanghai, China Duration: 12 Oct 2015 → 15 Oct 2015

Access to Document

10.1007/978-3-319-24953-7

Cite this

@article{414721e3aa99445fba83bc3ea767e813,

title = "Preface",

author = "Bernd Finkbeiner and Geguang Pu and Lijun Zhang",

year = "2015",

doi = "10.1007/978-3-319-24953-7",

language = "英语",

volume = "9364",

pages = "V",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

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

note = "13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015 ; Conference date: 12-10-2015 Through 15-10-2015",

}

TY - JOUR

T1 - Preface

AU - Finkbeiner, Bernd

AU - Pu, Geguang

AU - Zhang, Lijun

PY - 2015

Y1 - 2015

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

U2 - 10.1007/978-3-319-24953-7

DO - 10.1007/978-3-319-24953-7

M3 - 社论

AN - SCOPUS:84951863605

SN - 0302-9743

VL - 9364

SP - V

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

T2 - 13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015

Y2 - 12 October 2015 through 15 October 2015

ER -

Preface

Access to Document

Other files and links

Cite this