Integrated Formal Methods: editorial

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

Tutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen › vertaisarvioitu

Alkuperäiskieli	Ei tiedossa
Sivut	611–612
Julkaisu	Formal Aspects of Computing
Vuosikerta	27
Numero	4
DOI - pysyväislinkit	https://doi.org/10.1007/s00165-015-0338-y
Tila	Julkaistu - 2015
OKM-julkaisutyyppi	A1 Julkaistu artikkeli, soviteltu

Pääsy asiakirjaan

@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

SN - 0934-5043

VL - 27

SP - 611

EP - 612

JO - Formal Aspects of Computing

JF - Formal Aspects of Computing

IS - 4

ER -