Antonio Cerone, Markus Roggenbach, editors, Formal Methods - Fun for Everybody - First International Workshop, FMFun 2019, Bergen, Norway, December 2-3, 2019, Revised Selected Papers. Volume 1301 of Communications in Computer and Information Science, Springer, 2021. [doi]
Conference: fmfun2021
@proceedings{fmfun-2019, title = {Formal Methods - Fun for Everybody - First International Workshop, FMFun 2019, Bergen, Norway, December 2-3, 2019, Revised Selected Papers}, year = {2021}, doi = {10.1007/978-3-030-71374-4}, url = {https://doi.org/10.1007/978-3-030-71374-4}, researchr = {https://researchr.org/publication/fmfun-2019}, cites = {0}, citedby = {0}, booktitle = {Formal Methods - Fun for Everybody - First International Workshop, FMFun 2019, Bergen, Norway, December 2-3, 2019, Revised Selected Papers}, conference = {fmfun}, editor = {Antonio Cerone and Markus Roggenbach}, volume = {1301}, series = {Communications in Computer and Information Science}, publisher = {Springer}, isbn = {978-3-030-71374-4}, }