Formal methods: 22nd international symposium, FM 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, proceedings

Klaus Havelund; Jan Peleska; Bill Roscoe; Erik de Vink

doi:10.1007/978-3-319-95582-7

Formal methods: 22nd international symposium, FM 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, proceedings

Klaus Havelund (Redacteur), Jan Peleska (Redacteur), Bill Roscoe (Redacteur), Erik de Vink (Redacteur)

Onderzoeksoutput: Boek/rapport › Boekredactie › Academic › peer review

Originele taal-2	Engels
Plaats van productie	Cham
Uitgeverij	Springer
ISBN van elektronische versie	978-3-319-95582-7
ISBN van geprinte versie	978-3-319-95581-0
DOI's	https://doi.org/10.1007/978-3-319-95582-7
Status	Gepubliceerd - 2018
Evenement	22nd International Symposium on Formal Methods, FM 2018 Held as Part of the Federated Logic Conference, FloC 2018 - Oxford, Verenigd Koninkrijk Duur: 15 jul 2018 → 17 jul 2018

Publicatie series

Naam	Lecture Notes in Computer Science
Uitgeverij	Springer
Volume	10951
ISSN van geprinte versie	0302-9743

Naam	Programming and software engineering
Volume	10951

Toegang tot document

10.1007/978-3-319-95582-7

Citeer dit

Havelund, K., Peleska, J., Roscoe, B., & de Vink, E. (editors) (2018). Formal methods: 22nd international symposium, FM 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, proceedings. (Lecture Notes in Computer Science; Vol. 10951), (Programming and software engineering; Vol. 10951). Springer. https://doi.org/10.1007/978-3-319-95582-7

Havelund, Klaus (Redacteur) ; Peleska, Jan (Redacteur) ; Roscoe, Bill (Redacteur) ; de Vink, Erik (Redacteur). / Formal methods : 22nd international symposium, FM 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, proceedings. Cham : Springer, 2018. (Lecture Notes in Computer Science). (Programming and software engineering).

@book{0bdd56d202994ff69ee8a9a66e162053,

title = "Formal methods: 22nd international symposium, FM 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, proceedings",

editor = "Klaus Havelund and Jan Peleska and Bill Roscoe and {de Vink}, Erik",

year = "2018",

doi = "10.1007/978-3-319-95582-7",

language = "English",

isbn = "978-3-319-95581-0",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

address = "Germany",

note = "22nd International Symposium on Formal Methods, FM 2018 Held as Part of the Federated Logic Conference, FloC 2018 ; Conference date: 15-07-2018 Through 17-07-2018",

}

Havelund, K, Peleska, J, Roscoe, B & de Vink, E (redactie) 2018, Formal methods: 22nd international symposium, FM 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, proceedings. Lecture Notes in Computer Science, vol. 10951, Programming and software engineering, vol. 10951, Springer, Cham. https://doi.org/10.1007/978-3-319-95582-7

Formal methods : 22nd international symposium, FM 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, proceedings. / Havelund, Klaus (Redacteur); Peleska, Jan (Redacteur); Roscoe, Bill (Redacteur); de Vink, Erik (Redacteur).

Cham : Springer, 2018. (Lecture Notes in Computer Science; Vol. 10951), (Programming and software engineering; Vol. 10951).

Onderzoeksoutput: Boek/rapport › Boekredactie › Academic › peer review

TY - BOOK

T1 - Formal methods

T2 - 22nd International Symposium on Formal Methods, FM 2018 Held as Part of the Federated Logic Conference, FloC 2018

A2 - Havelund, Klaus

A2 - Peleska, Jan

A2 - Roscoe, Bill

A2 - de Vink, Erik

PY - 2018

Y1 - 2018

U2 - 10.1007/978-3-319-95582-7

DO - 10.1007/978-3-319-95582-7

M3 - Book editing

AN - SCOPUS:85050342453

SN - 978-3-319-95581-0

T3 - Lecture Notes in Computer Science

BT - Formal methods

PB - Springer

CY - Cham

Y2 - 15 July 2018 through 17 July 2018

ER -