@article{851743,
      note = {International conference proceedings.},
      author = {Margaria-Steffen, Tiziana, and Steffen, Bernhard,},
      url = {http://library.usi.edu/record/851743},
      title = {Leveraging applications of formal methods, verification  and validation : distributed systems : 8th International  Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9,  2018, Proceedings., Part III /. ISoLA (Symposium)},
      doi = {https://doi.org/10.1007/978-3-030-03424-5},
      recid = {851743},
      pages = {1 online resource (xiv, 522 pages) :},
}