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)

Formal System Analysis

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

Financiering

We offer our sincere thanks to all who helped make the conference a success and assisted with the preparation of these proceedings. This includes the FM committee chaired by Ana Cavalcanti, the FloC Organizing Committee led by Moshe Vardi, Daniel Kroening, and Marta Kwiatkowska, as well as the staff and volunteers who supported this event. Naturally, we also thank the Program Committee members and others who put so much effort into ensuring the quality of the program, as well as all authors who submitted papers.

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

@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 (uitgave) 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) et al.
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 -