WEKO3
-
RootNode
アイテム
形式手法を学び始めて思うことと，形式手法を広めるには
https://ipsj.ixsq.nii.ac.jp/records/112696
https://ipsj.ixsq.nii.ac.jp/records/1126966c187954-25f3-493e-b254-4ae6add2e498
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-WWS2015025.pdf (182.1 kB)
|
Copyright (c) 2015 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | Symposium(1) | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2015-01-15 | |||||||||
| タイトル | ||||||||||
| タイトル | 形式手法を学び始めて思うことと，形式手法を広めるには | |||||||||
| 言語 | ||||||||||
| 言語 | jpn | |||||||||
| 資源タイプ | ||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||||
| 資源タイプ | conference paper | |||||||||
| 著者所属 | ||||||||||
| 琉球大学 | ||||||||||
| 著者所属 | ||||||||||
| 琉球大学 | ||||||||||
| 著者所属(英) | ||||||||||
| en | ||||||||||
| University of the Ryukyus | ||||||||||
| 著者所属(英) | ||||||||||
| en | ||||||||||
| University of the Ryukyus | ||||||||||
| 著者名 |
比嘉, 健太
× 比嘉, 健太
× 河野, 真治
|
|||||||||
| 著者名(英) |
Yasutaka, Higa
× Yasutaka, Higa
× Shinji, Kono
|
|||||||||
| 書誌情報 |
ウィンターワークショップ2015・イン・宜野湾 論文集 巻 2015, p. 49-50, 発行日 2015-01-15 |
|||||||||
| 出版者 | ||||||||||
| 言語 | ja | |||||||||
| 出版者 | 情報処理学会 | |||||||||
