@article{807491,
      recid = {807491},
      author = {Paskevich, Andrei, and Wies, Thomas,},
      title = {Verified software : theories, tools, and experiments : 9th  International Conference, VSTTE 2017, Heidelberg, Germany,  July 22-23, 2017, Revised selected papers /. VSTTE  (Conference)},
      pages = {1 online resource (xiii, 211 pages) :},
      note = {Includes author index.},
      url = {http://library.usi.edu/record/807491},
      doi = {https://doi.org/10.1007/978-3-319-72308-2},
}