You are about to access our book library "Formal Methods – Fun for Everybody: First International Workshop, FMFun 2019, Bergen, Norway, December 2–3, 2019, Revised Selected Papers (Communications ... Computer and Information Science Book 1301) full version" .