TY  - GEN
T1  - Computer aided verification28th International conference, CAV 2016, Toronto, ON, USA, July 17-23, 2016 : proceedings.
AU  - Chaudhuri, Swarat,
AU  - Farzan, Azadeh,
VL  - 9779
CN  - QA76.76.V47
ID  - 756474
KW  - Computer software
SN  - 9783319415284
SN  - 331941528X
TI  - Computer aided verification28th International conference, CAV 2016, Toronto, ON, USA, July 17-23, 2016 : proceedings.
LK  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-41528-4
UR  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-41528-4
ER  -