Editorial

Xiaoping Chen; Zhiming Liu; Ji Wang; Jim Woodcock

doi:10.1007/s00165-021-00552-5

Editorial

Xiaoping Chen, Zhiming Liu^*, Ji Wang, Jim Woodcock

^*Corresponding author for this work

Computer Science

Research output: Contribution to journal › Editorial › peer-review

Original language	English
Pages (from-to)	299-300
Number of pages	2
Journal	Formal Aspects of Computing
Volume	33
Issue number	3
DOIs	https://doi.org/10.1007/s00165-021-00552-5
Publication status	Published - 1 Jun 2021

Access to Document

10.1007/s00165-021-00552-5

Cite this

@article{7f94d1796a60408cba1b57fcf2a45038,

title = "Editorial",

author = "Xiaoping Chen and Zhiming Liu and Ji Wang and Jim Woodcock",

year = "2021",

month = jun,

day = "1",

doi = "10.1007/s00165-021-00552-5",

language = "English",

volume = "33",

pages = "299--300",

journal = "Formal Aspects of Computing",

issn = "0934-5043",

publisher = "Springer",

number = "3",

}

TY - JOUR

T1 - Editorial

AU - Chen, Xiaoping

AU - Liu, Zhiming

AU - Wang, Ji

AU - Woodcock, Jim

PY - 2021/6/1

Y1 - 2021/6/1

UR - http://www.scopus.com/inward/record.url?scp=85110384977&partnerID=8YFLogxK

U2 - 10.1007/s00165-021-00552-5

DO - 10.1007/s00165-021-00552-5

M3 - Editorial

AN - SCOPUS:85110384977

SN - 0934-5043

VL - 33

SP - 299

EP - 300

JO - Formal Aspects of Computing

JF - Formal Aspects of Computing

IS - 3

ER -

Editorial

Access to Document

Other files and links

Cite this