Special Issue on Program Verification, Automated Debugging and Symbolic Computation

科研成果: 期刊稿件 › 社论

源语言	英语
页（从-至）	1-3
页数	3
期刊	Journal of Symbolic Computation
卷	80
DOI	https://doi.org/10.1016/j.jsc.2016.07.005
出版状态	已出版 - 1 5月 2017

访问文件

@article{5c36fb7b177142cfb35e72f85b8a8d71,

title = "Special Issue on Program Verification, Automated Debugging and Symbolic Computation",

author = "Tudor Jebelean and Wei Li and Dongming Wang",

year = "2017",

month = may,

day = "1",

doi = "10.1016/j.jsc.2016.07.005",

language = "英语",

volume = "80",

pages = "1--3",

journal = "Journal of Symbolic Computation",

issn = "0747-7171",

publisher = "Academic Press",

}

TY - JOUR

T1 - Special Issue on Program Verification, Automated Debugging and Symbolic Computation

AU - Jebelean, Tudor

AU - Li, Wei

AU - Wang, Dongming

PY - 2017/5/1

Y1 - 2017/5/1

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

U2 - 10.1016/j.jsc.2016.07.005

DO - 10.1016/j.jsc.2016.07.005

M3 - 社论

AN - SCOPUS:84997254273

SN - 0747-7171

VL - 80

SP - 1

EP - 3

JO - Journal of Symbolic Computation

JF - Journal of Symbolic Computation

ER -