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

Antonio Cerone (編輯) , Markus Roggenbach (編輯)