Special Issue on Program Verification, Automated Debugging and Symbolic Computation

Research output: Contribution to journal › Editorial

Original language	English
Pages (from-to)	1-3
Number of pages	3
Journal	Journal of Symbolic Computation
Volume	80
DOIs	https://doi.org/10.1016/j.jsc.2016.07.005
State	Published - 1 May 2017

Access to Document

@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 -