@article{734064,
      note = {International conference proceedings.},
      author = {Lutz, Carsten, and Ranise, Silvio,},
      url = {http://library.usi.edu/record/734064},
      title = {Frontiers of combining systems 10th International  Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24,  2015. Proceedings / [electronic resource] :. FroCoS  (Symposium)},
      doi = {https://doi.org/10.1007/978-3-319-24246-0},
      recid = {734064},
      pages = {1 online resource (xv, 340 pages) :},
}