Languages
Chaudhuri, Swarat.
Overview
| Works: | 0 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Computer aided verification[electronic resource] :28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016 : proceedings.Part I /
by:
Chaudhuri, Swarat.; Clark Conference ((2005 :); Farzan, Azadeh.; SpringerLink (Online service)
(Electronic resources)
Computer aided verification[electronic resource] :28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016 : proceedings.Part II /
by:
Chaudhuri, Swarat.; Clark Conference ((2005 :); Farzan, Azadeh.; SpringerLink (Online service)
(Electronic resources)