@article{711815,
      note = {International conference proceedings.},
      author = {Margaria-Steffen, Tiziana, and Steffen, Bernhard,},
      url = {http://library.usi.edu/record/711815},
      title = {Leveraging applications of formal methods, verification  and validation specialized techniques and applications :  6th International Symposium, ISoLA 2014, Imperial, Corfu,  Greece, October 8-11, 2014, Proceedings., Part I /  [electronic resource] :. ISoLA (Symposium)},
      doi = {https://doi.org/10.1007/978-3-662-45234-9},
      recid = {711815},
      pages = {1 online resource (xviii, 547 pages) :},
}