Editorial

Alessandro Fantechi, Anne E. Haxthausen^*, Jim Woodcock

^*Corresponding author for this work

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

Access to Document

@article{0fda7bce2b5e46b090ab532e3e1ccddf,

title = "Editorial",

author = "Alessandro Fantechi and Haxthausen, {Anne E.} and Jim Woodcock",

year = "2021",

month = dec,

day = "21",

doi = "10.1007/s00165-021-00568-x",

language = "English",

volume = "33",

pages = "923--924",

journal = "Formal Aspects of Computing",

issn = "0934-5043",

publisher = "Springer",

number = "6",

}

TY - JOUR

T1 - Editorial

AU - Fantechi, Alessandro

AU - Haxthausen, Anne E.

AU - Woodcock, Jim

PY - 2021/12/21

Y1 - 2021/12/21

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

U2 - 10.1007/s00165-021-00568-x

DO - 10.1007/s00165-021-00568-x

M3 - Editorial

AN - SCOPUS:85121515902

SN - 0934-5043

VL - 33

SP - 923

EP - 924

JO - Formal Aspects of Computing

JF - Formal Aspects of Computing

IS - 6

ER -