Integrated Formal Methods: editorial

Butler Michael, Johnsen Einar, Luigia Petre, M Butler (Editor), EB Johnsen (Editor), L Petre (Editor)

Research output: Contribution to journal › Article › Scientific › peer-review

Access to Document

@article{61015b735809413d883fe3b2211c664b,

title = "Integrated Formal Methods: editorial",

author = "Butler Michael and Johnsen Einar and Luigia Petre and M Butler and EB Johnsen and L Petre",

year = "2015",

doi = "10.1007/s00165-015-0338-y",

language = "Odefinierat/ok{\"a}nt",

volume = "27",

pages = "611–612",

journal = "Formal Aspects of Computing",

issn = "0934-5043",

publisher = "Springer",

number = "4",

}

TY - JOUR

T1 - Integrated Formal Methods: editorial

AU - Michael, Butler

AU - Einar, Johnsen

AU - Petre, Luigia

A2 - Butler, M

A2 - Johnsen, EB

A2 - Petre, L

PY - 2015

Y1 - 2015

U2 - 10.1007/s00165-015-0338-y

DO - 10.1007/s00165-015-0338-y

M3 - Artikel

VL - 27

SP - 611

EP - 612

JO - Formal Aspects of Computing

JF - Formal Aspects of Computing

SN - 0934-5043

IS - 4

ER -