Integrated Formal Methods: editorial

Butler Michael, Johnsen Einar, Luigia Petre, M Butler (Redaktör), EB Johnsen (Redaktör), L Petre (Redaktör)

Forskningsoutput: Tidskriftsbidrag › Ledare › Vetenskaplig › Peer review

Originalspråk	Engelska
Sidor (från-till)	611–612
Tidskrift	Formal Aspects of Computing
Volym	27
Nummer	4
DOI	https://doi.org/10.1007/s00165-015-0338-y
Status	Publicerad - 2015
MoE-publikationstyp	B1 Artikel i en vetenskaplig tidskrift

Åtkomst av dokument

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