@book{0bdd56d202994ff69ee8a9a66e162053,
title = "Formal methods: 22nd international symposium, FM 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, proceedings",
editor = "Klaus Havelund and Jan Peleska and Bill Roscoe and {de Vink}, Erik",
year = "2018",
doi = "10.1007/978-3-319-95582-7",
language = "English",
isbn = "978-3-319-95581-0",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
address = "Germany",
note = "22nd International Symposium on Formal Methods, FM 2018 Held as Part of the Federated Logic Conference, FloC 2018 ; Conference date: 15-07-2018 Through 17-07-2018",
}