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 (Editor), Jan Peleska (Editor), Bill Roscoe (Editor), Erik de Vink (Editor)

Formal System Analysis

Research output: Book/Report › Book editing › Academic › peer-review

Original language	English
Place of Publication	Cham
Publisher	Springer
ISBN (Electronic)	978-3-319-95582-7
ISBN (Print)	978-3-319-95581-0
DOIs	https://doi.org/10.1007/978-3-319-95582-7
Publication status	Published - 2018
Event	22nd International Symposium on Formal Methods, FM 2018 Held as Part of the Federated Logic Conference, FloC 2018 - Oxford, United Kingdom Duration: 15 Jul 2018 → 17 Jul 2018

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	10951
ISSN (Print)	0302-9743

Name	Programming and software engineering
Volume	10951

Access to Document

10.1007/978-3-319-95582-7

Cite this

Havelund, K., Peleska, J., Roscoe, B., & de Vink, E. (Eds.) (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

@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 (eds) 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 (Editor); Peleska, Jan (Editor); Roscoe, Bill (Editor); de Vink, Erik (Editor).

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

Research output: Book/Report › Book editing › 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 -