@article{868014,
      note = {Includes author index.},
      author = {Hähnle, Reiner, and Aalst, Wil van der,},
      url = {http://library.usi.edu/record/868014},
      title = {Fundamental approaches to software engineering : 22nd  International Conference, FASE 2019, held as part of the  European Joint Conferences on Theory and Practice of  Software, ETAPS 2019, Prague, Czech Republic, April 6-11,  2019, Proceedings /. FASE (Conference)},
      doi = {https://doi.org/10.1007/978-3-030-16722-6},
      recid = {868014},
      pages = {1 online resource (xiii, 446 pages) :},
}