@article{844235,
      note = {Includes author index.},
      author = {Fioravanti, Fabio, and Gallagher, John P.},
      url = {http://library.usi.edu/record/844235},
      title = {Logic-based program synthesis and transformation : 27th  International Symposium, LOPSTR 2017, Namur, Belgium,  October 10-12, 2017, Revised selected papers /. LOPSTR  (Symposium)},
      doi = {https://doi.org/10.1007/978-3-319-94460-9},
      recid = {844235},
      pages = {1 online resource (xvi, 341 pages) :},
}