@article{801148,
      recid = {801148},
      author = {D'Souza, Deepak, and Narayan Kumar, K.},
      title = {Automated technology for verification and analysis : 15th  International Symposium, ATVA 2017, Pune, India, October  3-6, 2017, Proceedings /. ATVA (Symposium)},
      pages = {1 online resource (xix, 482 pages) :},
      note = {International conference proceedings.},
      url = {http://library.usi.edu/record/801148},
      doi = {https://doi.org/10.1007/978-3-319-68167-2},
}