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