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