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

Citeer dit