言語
Bosnacki, Dragan.
概観
| 著作: | 1 作品に 1 出版物中に 1 言語 | |
|---|---|---|
タイトル
Model checking software[electronic resource] :23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016 : proceedings /
…で:
Bosnacki, Dragan.; Clark Conference ((2005 :); SpringerLink (Online service); Wijs, Anton.
(言語・文字資料 (印刷物))