Software engineering and formal methods 16th International Conference, SEFM 2018 : held as part of STAF 2018, Toulouse, France, June 27–29, 2018 : proceedings - Johnsen, Einar Broch; Schaefer, Ina 1977- (Lecture Notes in Computer Science, 2018)