Formal methods 22nd international symposium, FM 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 15-17, 2018 : proceedings - Havelund, Klaus 1955- (Springer, 2018)