Editorial

Maurizio Proietti^*, Hirohisa Seki, Jim Woodcock

^*Corresponding author for this work

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

Access to Document

@article{c8259866dabf4cafa9d3aaf952f430ef,

title = "Editorial",

author = "Maurizio Proietti and Hirohisa Seki and Jim Woodcock",

year = "2017",

month = jan,

day = "1",

doi = "10.1007/s00165-016-0408-9",

language = "English",

volume = "29",

journal = "Formal Aspects of Computing",

issn = "0934-5043",

publisher = "ACM",

number = "1",

}

TY - JOUR

T1 - Editorial

AU - Proietti, Maurizio

AU - Seki, Hirohisa

AU - Woodcock, Jim

PY - 2017/1/1

Y1 - 2017/1/1

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

U2 - 10.1007/s00165-016-0408-9

DO - 10.1007/s00165-016-0408-9

M3 - Editorial

AN - SCOPUS:85008395357

SN - 0934-5043

VL - 29

JO - Formal Aspects of Computing

JF - Formal Aspects of Computing

IS - 1

ER -