Formal Aspects of Computing: Editorial

Zhiming Liu, Jim Woodcock^*

^*Corresponding author for this work

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

Access to Document

@article{762da7afd67e48e09a5de8972bcb066a,

title = "Formal Aspects of Computing: Editorial",

author = "Zhiming Liu and Jim Woodcock",

year = "2011",

month = mar,

doi = "10.1007/s00165-011-0173-8",

language = "English",

volume = "23",

pages = "151",

journal = "Formal Aspects of Computing",

issn = "0934-5043",

publisher = "ACM",

number = "2",

}

TY - JOUR

T1 - Formal Aspects of Computing

T2 - Editorial

AU - Liu, Zhiming

AU - Woodcock, Jim

PY - 2011/3

Y1 - 2011/3

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

U2 - 10.1007/s00165-011-0173-8

DO - 10.1007/s00165-011-0173-8

M3 - Editorial

AN - SCOPUS:79955898892

SN - 0934-5043

VL - 23

SP - 151

JO - Formal Aspects of Computing

JF - Formal Aspects of Computing

IS - 2

ER -