Ceek.jp Altmetrics (α ver.)
  1. ホーム
  2. 文献一覧: 篠崎 郁生 (著者)
  3. 1件

1 0 0 0 OA 安全で安心できるe-社会を実現するソフトウェアとシステム技術:3.ソフトウェア完全性検証技術

著者
丸山 宏 宗藤 誠治 横手 靖彦 篠崎 郁生
雑誌
情報処理
巻号頁・発行日
vol.45, no.4, pp.354-359, 2004-04-15