Formal Methods - The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings - ter Beek, Maurice H.; ter Beek, Maurice H.; McIver, Annabelle; McIver, Annabelle; Oliveira, José N.; Oliveira, José N. (Springer International Publishing : Imprint: Springer, 2019)