Formal Methods - Fun for Everybody: First International Workshop, FMFun 2019, Bergen, Norway, December 2-3, 2019, Revised Selected Papers

Antonio Cerone (编辑) , Markus Roggenbach (编辑)