@article{756473,
      author = {Chaudhuri, Swarat, and Farzan, Azadeh,},
      url = {http://library.usi.edu/record/756473},
      title = {Computer aided verification 28th International conference,  CAV 2016, Toronto, ON, USA, July 17-23, 2016 :  proceedings., Part II / [electronic resource] :. CAV  (Conference)},
      recid = {756473},
      pages = {1 online resource (xvii, 521 pages) :},
}