Integrated Formal Methods: editorial

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

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

Original language	English
Pages (from-to)	611–612
Journal	Formal Aspects of Computing
Volume	27
Issue number	4
DOIs	https://doi.org/10.1007/s00165-015-0338-y
Publication status	Published - 2015
MoE publication type	B1 Article in a scientific magazine

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 = "English",

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 - Editorial

SN - 0934-5043

VL - 27

SP - 611

EP - 612

JO - Formal Aspects of Computing

JF - Formal Aspects of Computing

IS - 4

ER -