Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings - Ölveczky, Peter Csaba; Ölveczky, Peter Csaba; Salaün, Gwen; Salaün, Gwen (Springer International Publishing : Imprint: Springer, 2019)