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