@article{1434065,
      note = {International conference proceedings.},
      author = {Fernández, Maribel.},
      url = {http://library.usi.edu/record/1434065},
      title = {Logic-Based Program Synthesis and Transformation : 30th  international symposium, LOPSTR 2020, Bologna, Italy,  September 7-9, 2020 : proceedings /. LOPSTR (Symposium)},
      abstract = {This book constitutes the refereed proceedings of the 30th  International Conference on Logic-Based Program Synthesis  and Transformation, LOPSTR 2020, which was held during  September 7-9, 2020. The 15 papers presented in this volume  were carefully reviewed and selected from a total of 31  submissions. The book also contains two invited talks in  full paper length. The contributions were organized in  topical sections named: rewriting; unification; types;  verification; model checking and probabilistic programming;  program analysis and testing; and logics.},
      doi = {https://doi.org/10.1007/978-3-030-68446-4},
      recid = {1434065},
      pages = {1 online resource (348 pages)},
}