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)

Onderzoeksoutput: Boek/rapportBoekredactieAcademicpeer review

Originele taal-2Engels
Plaats van productieCham
UitgeverijSpringer
ISBN van elektronische versie978-3-319-95582-7
ISBN van geprinte versie978-3-319-95581-0
DOI's
StatusGepubliceerd - 2018
Evenement22nd International Symposium on Formal Methods, FM 2018 Held as Part of the Federated Logic Conference, FloC 2018 - Oxford, Verenigd Koninkrijk
Duur: 15 jul. 201817 jul. 2018

Publicatie series

NaamLecture Notes in Computer Science
UitgeverijSpringer
Volume10951
ISSN van geprinte versie0302-9743
NaamProgramming and software engineering
Volume10951

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.

Citeer dit