言語
Chaudhuri, Swarat.
概観
| 著作: | 0 作品に 2 出版物中に 1 言語 | |
|---|---|---|
タイトル
Computer aided verification[electronic resource] :28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016 : proceedings.Part I /
…で:
Chaudhuri, Swarat.; Clark Conference ((2005 :); Farzan, Azadeh.; SpringerLink (Online service)
(コンピュータ・メディア)
Computer aided verification[electronic resource] :28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016 : proceedings.Part II /
…で:
Chaudhuri, Swarat.; Clark Conference ((2005 :); Farzan, Azadeh.; SpringerLink (Online service)
(コンピュータ・メディア)