@article{772514,
      note = {Includes author index},
      author = {Lamprecht, Anna-Lena,},
      url = {http://library.usi.edu/record/772514},
      title = {Leveraging applications of formal methods, verification,  and validation : 6th International Symposium, ISoLA 2014,  Corfu, Greece, October 8-11, 2014, and 5th International  Symposium, ISoLA 2012, Heraklion, Crete, Greece, October  15-18, 2012, Revised selected papers /. ISoLA (Symposium)},
      doi = {https://doi.org/10.1007/978-3-319-51641-7},
      recid = {772514},
      pages = {1 online resource (vii, 157 pages) :},
}