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-; Peleska, Jan 1958-; Roscoe, Andrew W. 1956-; Vink, Erik de 20. Jht (Springer, 2018)