@article{763375,
      note = {International conference proceedings.},
      author = {Artho, Cyrille, and Legay, Axel, and Peled, Doron A.,},
      url = {http://library.usi.edu/record/763375},
      title = {Automated technology for verification and analysis : 14th  International Symposium, ATVA 2016, Chiba, Japan, October  17-20, 2016, Proceedings /. ATVA (Symposium)},
      doi = {https://doi.org/10.1007/978-3-319-46520-3},
      recid = {763375},
      pages = {1 online resource (xi, 530 pages) :},
}