Integrated Formal Methods: editorial

Michael Butler, Einar Broch Johnsen, Luigia Petre

Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review

Originalspråk	Odefinierat/okänt
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	A1 Tidskriftsartikel-refererad

Åtkomst av dokument

@article{61015b735809413d883fe3b2211c664b,

title = "Integrated Formal Methods: editorial",

author = "Michael Butler and {Broch Johnsen}, Einar and Luigia 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",

}