@article{931783,
      note = {International conference proceedings.},
      author = {Müller, Peter,},
      url = {http://library.usi.edu/record/931783},
      title = {Programming languages and systems : 29th European  Symposium on Programming, ESOP 2020, held as part of the  European Joint Conferences on Theory and Practice of  Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020,  Proceedings /. European Symposium on Programming},
      doi = {https://doi.org/10.1007/978-3-030-44914-8},
      recid = {931783},
      pages = {1 online resource (xv, 772 pages) :},
}