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  - 9780
CN  - QA76.76.V47
ID  - 756473
KW  - Computer software
SN  - 9783319415406
SN  - 3319415409
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-41540-6
UR  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-41540-6
ER  -