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; Johnsen, Einar Broch; Schaefer, Ina; Schaefer, Ina (Springer International Publishing : Imprint: Springer, 2018)