Preface for the special issue for ATVA 2015

^*Corresponding author for this work

Research output: Contribution to journal › Editorial

Access to Document

@article{a96f0a549f9c4873a1eca643eea9769f,

title = "Preface for the special issue for ATVA 2015",

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

year = "2018",

month = dec,

day = "1",

doi = "10.1007/s00236-018-0330-0",

language = "英语",

volume = "55",

pages = "625--626",

journal = "Acta Informatica",

issn = "0001-5903",

publisher = "Springer New York",

number = "8",

}

TY - JOUR

T1 - Preface for the special issue for ATVA 2015

AU - Finkbeiner, Bernd

AU - Pu, Geguang

AU - Zhang, Lijun

PY - 2018/12/1

Y1 - 2018/12/1

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

U2 - 10.1007/s00236-018-0330-0

DO - 10.1007/s00236-018-0330-0

M3 - 社论

AN - SCOPUS:85057572330

SN - 0001-5903

VL - 55

SP - 625

EP - 626

JO - Acta Informatica

JF - Acta Informatica

IS - 8

ER -