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

Deep cut – we couldn't find a description for this book.