言語
Jobstmann, Barbara.
概観
| 著作: | 0 作品に 1 出版物中に 1 言語 | |
|---|---|---|
タイトル
Verification, model checking, and abstract interpretation[electronic resource] :17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016 : proceedings /
…で:
Clark Conference ((2005 :); Jobstmann, Barbara.; Leino, K. Rustan M.; SpringerLink (Online service)
(言語・文字資料 (印刷物))