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/Report › Book editing › Academic › peer-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 2018 → 17 Jul 2018

Publication series

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

Funding

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.

Access to Document

Cite this