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)

Research output: Book/ReportBook editingAcademicpeer-review

Original languageEnglish
Place of PublicationCham
PublisherSpringer
ISBN (Electronic)978-3-319-95582-7
ISBN (Print)978-3-319-95581-0
DOIs
Publication statusPublished - 2018
Event22nd International Symposium on Formal Methods, FM 2018 Held as Part of the Federated Logic Conference, FloC 2018 - Oxford, United Kingdom
Duration: 15 Jul 201817 Jul 2018

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume10951
ISSN (Print)0302-9743
NameProgramming and software engineering
Volume10951

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