@article{914843,
      author = {Dongol, Brijesh, and Petre, Luigia, and Smith, Graeme,},
      url = {http://library.usi.edu/record/914843},
      title = {Formal methods teaching : third International Workshop and  Tutorial, FMTea 2019, held as part of the third World  Congress on Formal Methods, FM 2019, Porto, Portugal,  October 7, 2019, Proceedings /. FMTea (Workshop)},
      doi = {https://doi.org/10.1007/978-3-030-32441-4},
      recid = {914843},
      pages = {1 online resource (xvi, 245 pages) :},
}