Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings - Ahrendt, Wolfgang; Ahrendt, Wolfgang; Tapia Tarifa, Silvia Lizeth; Tapia Tarifa, Silvia Lizeth (Springer International Publishing : Imprint: Springer, 2019)