@article{856479,
      note = {International conference proceedings.},
      author = {Margaria-Steffen, Tiziana, and Steffen, Bernhard,},
      url = {http://library.usi.edu/record/856479},
      title = {Leveraging applications of formal methods, verification  and validation : verification : 8th International  Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9,  2018, Proceedings., Part II /. ISoLA (Symposium)},
      recid = {856479},
      pages = {1 online resource (xv, 588 pages) :},
}