Software engineering and formal methods 16th international conference, SEFM 2018, held as part of STAF 201, Toulouse, France, June 27-29, 2018 : proceedings - Johnsen, Einar Broch; Schaefer, Ina 1977- (Springer, 2018)