Formal Methods - Fun for Everybody First International Workshop, FMFun 2019, Bergen, Norway, December 2-3, 2019, Revised Selected Papers - Cerone, Antonio. (Springer International Publishing,)