ISBN 9783030713737 books & textbook
Formal Methods – Fun for Everybody: First International Workshop, FMFun 2019, Bergen, Norway, December 2–3, 2019, Revised Selected Papers (Communications in Computer and Information Science)
Cerone, Antonio Roggenbach, Markus
Springer /2021-03-11 Paperback / 240 Pages
isbn-10: 3030713733 / isbn-13: 9783030713737