@article{851008,
      note = {Includes author index.},
      author = {Lahiri, Shuvendu, and Wang, Chao,},
      url = {http://library.usi.edu/record/851008},
      title = {Automated technology for verification and analysis : 16th  International Symposium, ATVA 2018, Los Angeles, CA, USA,  October 7-10, 2018, Proceedings /. ATVA (Symposium)},
      doi = {https://doi.org/10.1007/978-3-030-01090-4},
      recid = {851008},
      pages = {1 online resource (xiii, 560 pages) :},
}