@article{1434872,
      note = {International conference proceedings.},
      author = {Cerone, Antonio, and Roggenbach, Markus,},
      url = {http://library.usi.edu/record/1434872},
      title = {Formal methods - fun for everybody : first international  workshop, FMFun 2019, Bergen, Norway, December 2-3, 2019 :  revised selected papers /. International Workshop on Formal  Methods Fun for Everybody},
      abstract = {This volume constitutes the post-workshop proceedings of  the First International Workshop on Formal Methods Fun for  Everybody, FMFun 2019, held in Bergen, Norway, in December  2019. The 7 revised full papers and 2 revised short papers  presented in this volume were carefully reviewed and  selected from 15 submissions. A white paper and two keynote  papers are also included. The papers explore ways of  utilizing the pathway to transforming and spreading formal  methods. The vision of this workshop series is that formal  methods ought to be taught in such a way that every student  can have fun with it.},
      doi = {https://doi.org/10.1007/978-3-030-71374-4},
      recid = {1434872},
      pages = {1 online resource},
}