言語
Rayadurgam, Sanjai.
概観
| 著作: | 1 作品に 1 出版物中に 1 言語 | |
|---|---|---|
タイトル
NASA formal methods[electronic resource] :8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016 : proceedings /
…で:
Clark Conference ((2005 :); Rayadurgam, Sanjai.; SpringerLink (Online service); Tkachuk, Oksana.
(コンピュータ・メディア)