WEKO3
アイテム
計算機によるソフトウェアの検査の機械化について
https://ipsj.ixsq.nii.ac.jp/records/223392
https://ipsj.ixsq.nii.ac.jp/records/2233926f25504d-154e-445c-a04f-62e9e2d64bdf
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
WPRO1973B05.pdf (8.8 MB)
|
|
|
| オープンアクセス | ||
| Item type | Symposium(1) | |||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 1973-01-10 | |||||||||||||
| タイトル | ||||||||||||||
| タイトル | 計算機によるソフトウェアの検査の機械化について | |||||||||||||
| 言語 | ||||||||||||||
| 言語 | jpn | |||||||||||||
| 資源タイプ | ||||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||||||||
| 資源タイプ | conference paper | |||||||||||||
| 著者所属 | ||||||||||||||
| 大阪大学工学部 | ||||||||||||||
| 著者所属 | ||||||||||||||
| 大阪大学工学部 | ||||||||||||||
| 著者所属 | ||||||||||||||
| 大阪大学工学部 | ||||||||||||||
| 著者所属 | ||||||||||||||
| 住友電気工業株式会社 | ||||||||||||||
| 著者名 |
安井, 裕
× 安井, 裕
× 治田, 倫男
× 永田, 恒一
× 藤田, 安臣
|
|||||||||||||
| 書誌情報 |
第14回プログラミング—シンポジウム報告集 巻 1973, p. 93-105, 発行日 1973-01-10 |
|||||||||||||
| 出版者 | ||||||||||||||
| 言語 | ja | |||||||||||||
| 出版者 | 情報処理学会 | |||||||||||||
