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/rapportBoekredactieAcademicpeer review

Originele taal-2Engels
Plaats van productieCham
UitgeverijSpringer
ISBN van elektronische versie978-3-319-95582-7
ISBN van geprinte versie978-3-319-95581-0
DOI's
StatusGepubliceerd - 2018
Evenement22nd International Symposium on Formal Methods, FM 2018 Held as Part of the Federated Logic Conference, FloC 2018 - Oxford, Verenigd Koninkrijk
Duur: 15 jul 201817 jul 2018

Publicatie series

NaamLecture Notes in Computer Science
UitgeverijSpringer
Volume10951
ISSN van geprinte versie0302-9743
NaamProgramming and software engineering
Volume10951

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). Cham: 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",

}

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/rapportBoekredactieAcademicpeer review

TY - BOOK

T1 - Formal methods

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

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

ER -

Havelund K, (ed.), Peleska J, (ed.), Roscoe B, (ed.), de Vink E, (ed.). 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). https://doi.org/10.1007/978-3-319-95582-7